Skip to content

@WasmCert WasmCert

Change the repository type filter

All

    Repositories list

    4 repositories

    • WasmCert-Coq

      Public
      A mechanisation of Wasm in Coq(Rocq)
      coqwebassemblywasm
      Rocq Prover
      •
      MIT License
      •15•112•5•0•Updated Dec 19, 2025Dec 19, 2025

    • WasmCert-Isabelle

      Public
      A mechanisation of Wasm in Isabelle.
      Isabelle
      •
      BSD 2-Clause "Simplified" License
      •5•31•0•3•Updated Nov 26, 2025Nov 26, 2025

    • spec

      Public
      WebAssembly specification, reference interpreter, and test suite.
      WebAssembly
      •
      Other
      •504•0•0•0•Updated May 14, 2025May 14, 2025

    • testsuite

      Public
      Mirror of the spec testsuite
      WebAssembly
      •
      Apache License 2.0
      •62•0•0•0•Updated May 7, 2025May 7, 2025