WasmCert-Coq

Wasm formaliser

A formalisation of WebAssembly in Coq to provide proof of correctness and type safety for its programming model.

A mechanisation of Wasm in Coq

95 stars

12 watching

11 forks

Language: Coq

last commit: 14 days ago

Linked from 2 awesome lists

coqwasmwebassembly

Backlinks from these awesome lists:

Related projects:

Repository	Description	Stars
huxpro/wasmcert	A formalized version of the WebAssembly specification using Coq	21
webassembly/wasm-c-api	An API that allows embedding a WebAssembly interpreter in C/C++ applications	551
area9innovation/wase	Makes WebAssembly easy to write and compile by providing a friendly language with conventional syntax and type inference	45
cretz/asmble	Compiles WebAssembly to JVM bytecode and provides utilities for working with WASM code.	634
spy/haskell-wasm	A Haskell toolkit for generating and interpreting WebAssembly code from Haskell source	151
ruby/ruby.wasm	A collection of WebAssembly ports of the CRuby interpreter	686
kanaka/warpy	An interpreter and runtime environment for WebAssembly in RPython	66
vshymanskyy/wasm2mpy	A tool for compiling WebAssembly code into native MicroPython modules for embedded systems.	122
mafintosh/webassembly-binary-toolkit	A toolkit for compiling and utilizing WebAssembly binaries from source.	59
wasmi-labs/wasmi	An efficient and lightweight WebAssembly interpreter with a focus on constrained and embedded systems.	1,614
xavierleroy/cdf-mech-sem	Development of formal semantics and verification tools for imperative languages and functional programming languages.	64
kanaka/wac	A WebAssembly interpreter written in C that supports compilation from languages like C and JavaScript.	472
renatoathaydes/wasm-on-jvm	A Gradle plugin to easily compile WebAssembly (WASM) files into JVM bytecode.	24
raphamorim/xwasm	Tools and utilities for building and managing WebAssembly projects in modern frontend development	56