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
100 stars
12 watching
11 forks
Language: Coq
last commit: 4 months ago
Linked from 2 awesome lists
coqwasmwebassembly
coq-community/awesome-coq
uhub/awesome-coqRelated 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 | 553 |
 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. | 637 |
 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 | 702 |
 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. | 60 |
 wasmi-labs/wasmi | An efficient WebAssembly interpreter with a focus on constrained and embedded systems. | 1,633 |
 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. | 473 |
 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 |