A Formal Semantics of WebAssembly in K
☆85Feb 2, 2026Updated 3 weeks ago
Alternatives and similar repositories for wasm-semantics
Users that are interested in wasm-semantics are comparing it to the libraries listed below
Sorting:
- Typing the linear pi calculus in Agda☆29Mar 15, 2022Updated 3 years ago
- K Framework Tools 7.0☆552Feb 3, 2026Updated 3 weeks ago
- Formal semantics of LLVM IR in K☆45Jun 25, 2015Updated 10 years ago
- K Semantics of the Ethereum Virtual Machine (EVM)☆556Feb 11, 2026Updated 2 weeks ago
- Formal semantics of Rust☆23Apr 9, 2021Updated 4 years ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Mar 11, 2021Updated 4 years ago
- Instructions for benchmarking Ewasm precompiles. (And results.)☆20Nov 23, 2020Updated 5 years ago
- The symbolic execution engine powering the K Framework☆221Updated this week
- Clojure implementation of the W3C proposal R2RML: RDB to RDF mapping language☆25Mar 23, 2011Updated 14 years ago
- ☆14Nov 23, 2016Updated 9 years ago
- A prototype of my proposed name resolution algorithm for Rust.☆13Nov 24, 2015Updated 10 years ago
- Plugin files for editing K files☆12Aug 20, 2024Updated last year
- Yuyushiki Annotation tool☆14Oct 15, 2014Updated 11 years ago
- Garbage collector implementation in Rust for Rust☆13Aug 30, 2020Updated 5 years ago
- Lem semantic definition language☆151Mar 13, 2025Updated 11 months ago
- WebAssembly module signing & signature verification☆15Sep 29, 2022Updated 3 years ago
- Unified Maude model-checking tool☆13Feb 4, 2026Updated 3 weeks ago
- ☆22Jun 25, 2015Updated 10 years ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated 2 weeks ago
- Code for "Staged Generic Programming" (ICFP 2017)☆28Sep 2, 2023Updated 2 years ago
- Enforces a maximum `space` and `time` Algorithm Complexity when testing Rust programs☆14Mar 5, 2025Updated 11 months ago
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- Lightweight, event-driven WebSockets for Rust.☆14Oct 28, 2021Updated 4 years ago
- 🖼️ the compiling to closed categories compiler☆66Apr 17, 2018Updated 7 years ago
- CURRENNT -- CUDA-enabled machine learning library for recurrent neural network☆16Feb 20, 2020Updated 6 years ago
- Integration of MathJax, KaTeX and Asymptote with scribble, to typeset math in Racket documentation☆17Jun 11, 2024Updated last year
- ☆15Apr 26, 2021Updated 4 years ago
- TPTP linear logic version☆15Jan 27, 2025Updated last year
- A toolkit for building multi-result supercompilers☆32Oct 23, 2021Updated 4 years ago
- ☆15Apr 8, 2017Updated 8 years ago
- 3D simulation for a flock of boids in Rust☆29Sep 12, 2022Updated 3 years ago
- Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction☆41Jun 25, 2025Updated 8 months ago
- ☆16Sep 29, 2023Updated 2 years ago
- Math matrix library for SATySFi☆14Oct 15, 2019Updated 6 years ago
- A collection of useful TLA+ operators☆21Feb 15, 2018Updated 8 years ago
- A formalization of the theory behind the mugen library☆19Jun 24, 2024Updated last year
- finality gadget for blockchains using common prefix agreement☆141Feb 9, 2026Updated 2 weeks ago
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- Automatically exported from code.google.com/p/full-maude☆16Sep 18, 2025Updated 5 months ago