input-output-hk / plutus-metatheory
Mechanised meta theory for Plutus Core (DEPRECATED - MOVED to plutus)
☆9Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for plutus-metatheory
- Shamir Secret Sharing☆19Updated 4 years ago
- Base Formality libraries☆9Updated 5 years ago
- ☆21Updated 6 years ago
- Elliptic Curve Cryptography in Haskell☆13Updated 8 months ago
- ☆27Updated 4 months ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆26Updated 5 years ago
- A hashing-based graph implementation in Haskell☆33Updated 6 years ago
- ☆16Updated 2 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 7 years ago
- Authenticated Data Structures☆13Updated 9 years ago
- Bitcoin script compilation, manipulation and decompilation☆14Updated 4 years ago
- Minimal, efficient proof language☆14Updated 5 years ago
- An append only list in a compact region☆25Updated 6 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Updated 6 years ago
- Haskell port of the WebAssembly OCaml reference interpreter☆46Updated last year
- Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.☆14Updated last week
- Utilities for building Haskell tooling with ghc.☆9Updated 7 years ago
- Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.☆17Updated 9 months ago
- IPFS wrapper for Haskell☆43Updated last year
- Resin: high performance variable binder and ast manipulation lib☆13Updated 5 years ago
- Benchmarking tool for compile-time performance of Agda programs☆18Updated 2 years ago
- diagrams backend that renders directly to an HTML5 canvas☆23Updated 8 years ago
- ScopeT and ScopeH☆13Updated 3 months ago
- A Haskell library making it easier to write Alex lexers.☆12Updated 3 weeks ago
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- ☆11Updated 8 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Updated 5 years ago
- Agda libraries relevant to Moonad☆14Updated 5 years ago