ejrgilbert / whammView external linksLinks
Debugging WebAssembly? Put some Whamm! on it.
☆84Updated this week
Alternatives and similar repositories for whamm
Users that are interested in whamm are comparing it to the libraries listed below
Sorting:
- WebAssembly Transformation Library for the Component Model☆34Feb 6, 2026Updated last week
- An implementation of "Regular Expression Matching: the Virtual Machine Approach"☆26Aug 20, 2024Updated last year
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆20Jun 21, 2025Updated 7 months ago
- A sandboxed local task runner for Rust☆21Sep 20, 2024Updated last year
- A self-generating WebAssembly parser & serializer in Rust.☆28Feb 7, 2026Updated last week
- Research WebAssembly Engine☆484Updated this week
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Aug 30, 2022Updated 3 years ago
- Building A Correct-By-Construction Proof Checkers For Type Theories☆29Jan 15, 2026Updated 3 weeks ago
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic☆12Dec 18, 2023Updated 2 years ago
- A Rust implementation of the OCI artifact specification for WebAssembly☆11Feb 5, 2026Updated last week
- Unix native interface to LLMs☆12Oct 16, 2025Updated 3 months ago
- a sharable language☆14Jan 20, 2025Updated last year
- Offline partial evaluation system for Prolog written using the cogen approach☆21Jul 19, 2016Updated 9 years ago
- ☆13Oct 22, 2020Updated 5 years ago
- A low level, expressive language☆14Dec 12, 2024Updated last year
- Run Go executables under llvm-mca☆13Apr 1, 2022Updated 3 years ago
- Record and Replay for WebAssembly☆35Feb 3, 2026Updated last week
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- ☆174Aug 28, 2025Updated 5 months ago
- non-C programming language interfaces to the Binaryen library☆12Nov 9, 2025Updated 3 months ago
- ☆15Dec 16, 2025Updated last month
- An Opinionated Formatter for Verus☆15Feb 2, 2026Updated last week
- Easy SMT solver interaction☆34Feb 3, 2026Updated last week
- ☆58Jul 8, 2025Updated 7 months ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Aug 28, 2024Updated last year
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.☆20Feb 26, 2021Updated 4 years ago
- HoTT Book formalisations in Rzk.☆20Dec 15, 2023Updated 2 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆24Sep 7, 2025Updated 5 months ago
- Library for writing tests for utilities that read text files and produce text output☆23Jun 26, 2020Updated 5 years ago
- An integrated testing tool inspired from LLVM's 'lit' tool☆17Mar 29, 2022Updated 3 years ago
- In-memory x86-64 assembler for JIT compiler.☆78Apr 12, 2025Updated 10 months ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆153Jun 22, 2025Updated 7 months ago
- ☆23Mar 21, 2024Updated last year
- A toy C compiler written in Rust that emits RISC-V assembly.☆31Aug 16, 2025Updated 5 months ago
- The Department of Reuse tracks and documents reuse of artifacts in computer science (starting with the SE field)☆17Dec 17, 2024Updated last year
- Extremely experimental toy go compiler☆19Oct 18, 2020Updated 5 years ago
- Attempt at creating an architecture agnostic jit library, heavily inspired by copy-and-patch.☆17Jun 23, 2024Updated last year
- Parallel ML benchmark suite☆21Dec 8, 2025Updated 2 months ago