6.858 final project.
☆18Jan 14, 2016Updated 10 years ago
Alternatives and similar repositories for MAST
Users that are interested in MAST are comparing it to the libraries listed below
Sorting:
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 8 years ago
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Dec 3, 2020Updated 5 years ago
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 5 years ago
- ☆16Updated this week
- ☆15Dec 27, 2023Updated 2 years ago
- Proof checker for propositional logic☆16Jul 7, 2017Updated 8 years ago
- celestia blobs, evm execution☆20Feb 10, 2025Updated last year
- Parse Bitcoin objects without allocations☆16Jan 19, 2025Updated last year
- Gas benchmark research repository☆21Updated this week
- ☆16Jul 3, 2023Updated 2 years ago
- Egraphs Modulo Theories☆18Jun 10, 2025Updated 8 months ago
- Template for zkGraph.☆19Mar 3, 2024Updated 2 years ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Oct 19, 2021Updated 4 years ago
- Machine image builder focused on Bitcoin☆16Oct 16, 2019Updated 6 years ago
- Miniscript workshop code for Advancing Bitcoin 2020 (and perhaps later conferences)☆15Feb 7, 2020Updated 6 years ago
- ☆23Oct 16, 2025Updated 4 months ago
- KnowledgeStore☆21Feb 1, 2018Updated 8 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- Sapio Frontend☆25Feb 4, 2023Updated 3 years ago
- a framework and language for exploring and analyzing feeds of social media data.☆23Jan 25, 2012Updated 14 years ago
- "Toy" SMT Solver for Educational Purposes☆20Apr 17, 2013Updated 12 years ago
- A different approach to an E-graph library☆28May 30, 2025Updated 9 months ago
- [Obsolete] Tamarin prover manual: source files☆25Feb 20, 2026Updated last week
- A naive θ..θ programming language☆27Oct 23, 2018Updated 7 years ago
- ☆31May 20, 2025Updated 9 months ago
- ABCDE Internal POC: Parallel go-ethereum☆29Dec 15, 2023Updated 2 years ago
- storage proof made by sp1☆25Sep 20, 2024Updated last year
- ☆31Oct 27, 2025Updated 4 months ago
- An implementation of the "lightweight" linear type system for System F◦ presented in "Lightweight Linear Types in System F◦" by Mazurak, …☆33Mar 18, 2015Updated 10 years ago
- PoC of Revm execution in a Nitro Enclave☆29Sep 6, 2023Updated 2 years ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆41Aug 20, 2024Updated last year
- An implementation of the axolotl ratchet based on libsodium.☆23Oct 4, 2022Updated 3 years ago
- Haskell Type Level Example Programs☆28Nov 30, 2017Updated 8 years ago
- A streaming cross-cat inference engine☆49Dec 19, 2014Updated 11 years ago
- Zig EVM☆34Nov 22, 2025Updated 3 months ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Feb 20, 2025Updated last year
- EXPERIMENTAL: Bitcoin Core Prometheus exporter based on User-Space, Statically Defined Tracing and eBPF.☆30Aug 14, 2024Updated last year
- ☆31Mar 31, 2025Updated 11 months ago
- Parse JSON file at compile time and embed as serde_json::Value☆35Updated this week