WasmCert
Wasm spec
A formalized version of the WebAssembly specification using Coq
A (in-development) Coq mechanization of WebAssembly specification.
21 stars
5 watching
0 forks
Language: Coq
last commit: over 3 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 wasmcert/wasmcert-coq | A formalisation of WebAssembly in Coq to provide proof of correctness and type safety for its programming model. | 100 |
 hidamariproject/hidamari | An operating system designed to run WebAssembly code | 64 |
 wasmi-labs/wasmi | An efficient WebAssembly interpreter with a focus on constrained and embedded systems. | 1,633 |
 area9innovation/wase | Makes WebAssembly easy to write and compile by providing a friendly language with conventional syntax and type inference | 45 |
 webassembly/wasm-c-api | An API that allows embedding a WebAssembly interpreter in C/C++ applications | 553 |
 raphamorim/xwasm | Tools and utilities for building and managing WebAssembly projects in modern frontend development | 56 |
 ruby/ruby.wasm | A collection of WebAssembly ports of the CRuby interpreter | 702 |
 femtoemacs/wascm | Compiles Low Level Lisp into WebAssembly for low-level operations | 33 |
 meheleventyone/zig-wasm-test | An example project demonstrating Web Assembly compilation and execution using Zig | 55 |
 spy/haskell-wasm | A Haskell toolkit for generating and interpreting WebAssembly code from Haskell source | 151 |
 cosmwasm/wasmd | An implementation of a Cosmos zone with support for WebAssembly smart contracts. | 371 |
 feneric/nim-wasm-helpers | A toolset for building and testing WebAssembly code using Nim. | 28 |
 naqvis/wasmer-crystal | A WebAssembly runtime for executing Crystal code in a sandboxed environment. | 93 |
 malcolmstill/zware | Executes WebAssembly programs embedded in Zig programs | 293 |
 wasmerio/wasmer-postgres | A WebAssembly runtime for Postgres that allows executing WebAssembly binaries in a sandboxed environment | 414 |