statebox / bcfwm
Blockchain Technology for the Working Mathematician
☆24Updated 7 years ago
Related projects: ⓘ
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- Elliptic Curve Cryptography in Haskell☆13Updated 5 months ago
- A functional smart contract system☆6Updated 5 years ago
- BibTeX database management in Idris☆18Updated 10 years ago
- JSON Feed in Haskell.☆11Updated 2 months ago
- Contract examples☆10Updated 2 years ago
- JSON RPC using the remote monad☆9Updated 6 years ago
- Superposition prover☆15Updated last year
- Multihash Haskell implementation☆27Updated last year
- ☆13Updated this week
- ☆16Updated 6 years ago
- Distributed Data Structures in Coq☆49Updated 10 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago
- Contains the system-filepath and system-fileio packages☆9Updated 11 months ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Updated 5 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated last year
- Source files used for the Cedille Cast videos☆12Updated 3 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆26Updated 5 years ago
- Minimal, efficient proof language☆14Updated 5 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆30Updated 10 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 4 years ago
- transformers compatibility shim☆10Updated last year
- A simple, untyped, terminating functional language that is fully compatible with optimal reductions.☆17Updated 5 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Updated 6 years ago
- Type level algebraic "proofs" using lens combinators☆19Updated 5 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆20Updated 3 months ago
- Shamir Secret Sharing☆19Updated 4 years ago
- Haskell 2010 stream comonads☆22Updated last year
- Race through breathtaking 3-D graphics with Futhark!☆14Updated 3 years ago