WasmCert
by Huxpro
A (in-development) Coq mechanization of WebAssembly specification.
AI summary
Wasm spec
A formalized version of the WebAssembly specification using Coq
- stars
- 21
- forks
- 0
- watching
- 5
Similar projects
Found by comparing what the projects do, not just their names.
Wasm formaliser
A formalisation of WebAssembly in Coq to provide proof of correctness and type safety for its programming model.
WASM OS
An operating system designed to run WebAssembly code
wasmi-labs/wasmi1.6K
Wasm interpreter
An efficient WebAssembly interpreter with a focus on constrained and embedded systems.
Wasm compiler
Makes WebAssembly easy to write and compile by providing a friendly language with conventional syntax and type inference
Wasm embedder
An API that allows embedding a WebAssembly interpreter in C/C++ applications
WASM toolkit
Tools and utilities for building and managing WebAssembly projects in modern frontend development
Ruby interpreter
A collection of WebAssembly ports of the CRuby interpreter
Low-Level Lisp compiler
Compiles Low Level Lisp into WebAssembly for low-level operations
Wasm example
An example project demonstrating Web Assembly compilation and execution using Zig
Haskell Wasm Engine
A Haskell toolkit for generating and interpreting WebAssembly code from Haskell source
Wasm runtime
An implementation of a Cosmos zone with support for WebAssembly smart contracts.
WASM toolkit
A toolset for building and testing WebAssembly code using Nim.
WebAssembly runner
A WebAssembly runtime for executing Crystal code in a sandboxed environment.
WebAssembly runner
Executes WebAssembly programs embedded in Zig programs
Wasm PostgreSQL
A WebAssembly runtime for Postgres that allows executing WebAssembly binaries in a sandboxed environment
