WasmCert-Coq
by WasmCert
A mechanisation of Wasm in Coq
AI summary
Wasm formaliser
A formalisation of WebAssembly in Coq to provide proof of correctness and type safety for its programming model.
- stars
- 100
- forks
- 11
- watching
- 12
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Wasm spec
A formalized version of the WebAssembly specification using Coq
Wasm embedder
An API that allows embedding a WebAssembly interpreter in C/C++ applications
Wasm compiler
Makes WebAssembly easy to write and compile by providing a friendly language with conventional syntax and type inference
cretz/asmble637
WASM compiler
Compiles WebAssembly to JVM bytecode and provides utilities for working with WASM code.
Haskell Wasm Engine
A Haskell toolkit for generating and interpreting WebAssembly code from Haskell source
Ruby interpreter
A collection of WebAssembly ports of the CRuby interpreter
WASM interpreter
An interpreter and runtime environment for WebAssembly in RPython
Wasm compiler
A tool for compiling WebAssembly code into native MicroPython modules for embedded systems.
Wasm compiler
A toolkit for compiling and utilizing WebAssembly binaries from source.
wasmi-labs/wasmi1.6K
Wasm interpreter
An efficient WebAssembly interpreter with a focus on constrained and embedded systems.
Formal semantics tools
Development of formal semantics and verification tools for imperative languages and functional programming languages.
kanaka/wac473
Wasm interpreter
A WebAssembly interpreter written in C that supports compilation from languages like C and JavaScript.
Wasm compiler
A Gradle plugin to easily compile WebAssembly (WASM) files into JVM bytecode.
WASM toolkit
Tools and utilities for building and managing WebAssembly projects in modern frontend development
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions WasmCert-Coq.
