☆12Nov 6, 2025Updated 3 months ago
Alternatives and similar repositories for certicoqwasm
Users that are interested in certicoqwasm are comparing it to the libraries listed below
Sorting:
- Verified Extraction from Rocq to OCaml/Malfunction☆14May 23, 2025Updated 9 months ago
- Interactive visualizer for e-graphs☆28Jan 13, 2026Updated last month
- State-Transition Systems for Smart Contracts☆25Sep 3, 2020Updated 5 years ago
- A formalization of ML kernel languages☆42Feb 20, 2026Updated last week
- ☆42Aug 11, 2025Updated 6 months ago
- being a particular fragment of Haskell, extended to a proof system☆43Dec 2, 2025Updated 2 months ago
- An Erasure Code Library with Efficient Repair and Update Features☆11Jan 3, 2022Updated 4 years ago
- CS6868: Concurrent Programming☆32Updated this week
- Verifying the SCION architecture using Gobra☆11Feb 9, 2026Updated 2 weeks ago
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- Holograms Against Humanity - a card game for AltspaceVR☆10Nov 11, 2020Updated 5 years ago
- Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust☆11May 23, 2020Updated 5 years ago
- Miscellaneous Racket utilities lacking a better home☆14Feb 19, 2026Updated last week
- Linux userspace block device over S3.☆13Jan 3, 2014Updated 12 years ago
- Mechanized baselines for various type system features☆18Feb 20, 2026Updated last week
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆13Nov 17, 2022Updated 3 years ago
- Experimental port of ADEV to Julia☆11Nov 12, 2023Updated 2 years ago
- Javascript implementation of the Reticulum Network Stack☆18Feb 10, 2025Updated last year
- Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.☆17Updated this week
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆16Nov 15, 2012Updated 13 years ago
- A Result-like type that can collect multiple Errs☆12Oct 5, 2020Updated 5 years ago
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- Verified NbE via gluing in Agda☆11May 19, 2024Updated last year
- WebAssembly specification, reference interpreter, and test suite.☆13Aug 31, 2023Updated 2 years ago
- Apple Audio File Play wrapper for Node.js☆13May 19, 2023Updated 2 years ago
- An IoT thing in the shape of heart that tells you how long you've been married☆12Sep 17, 2019Updated 6 years ago
- ☆26Updated this week
- A starting point for Twine 2 story format development☆10Sep 18, 2021Updated 4 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- ☆12Oct 9, 2025Updated 4 months ago
- ☆13Apr 28, 2025Updated 10 months ago
- ☆10Jan 10, 2025Updated last year
- A modded Python interpreter that supports symbolic execution.☆11Aug 23, 2015Updated 10 years ago
- Plugin files for editing K files☆12Aug 20, 2024Updated last year
- ☆12Feb 11, 2019Updated 7 years ago
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆40Oct 21, 2025Updated 4 months ago
- Language-generic workbench for building static analysis☆46Oct 5, 2023Updated 2 years ago
- A mechanisation of Wasm in Coq(Rocq)☆114Feb 19, 2026Updated last week