statebox / bcfwmLinks
Blockchain Technology for the Working Mathematician
☆24Updated 8 years ago
Alternatives and similar repositories for bcfwm
Users that are interested in bcfwm are comparing it to the libraries listed below
Sorting:
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- ☆23Updated 7 years ago
- Formalism and proofs for esverify☆19Updated 7 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Code samples inspiring language design☆24Updated 9 years ago
- Type Theory with Indexed Equality☆25Updated 8 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆26Updated 6 years ago
- TODO☆10Updated 9 years ago
- A functional smart contract system☆6Updated 6 years ago
- A clean implementation of Parsing with Zippers.☆38Updated 6 years ago
- Type Theory in Type Theory using Cubical Agda☆13Updated 6 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- Superposition prover☆17Updated 2 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- My undergradate thesis on coinductive types in univalent type theory☆17Updated 7 years ago
- An efficient graph library for Haskell☆39Updated last month
- JSON RPC using the remote monad☆9Updated 7 years ago
- Elliptic Curve Cryptography in Haskell☆13Updated last year
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Updated 6 years ago
- Finite state machines as graphs☆59Updated 5 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 6 years ago
- Type level algebraic "proofs" using lens combinators☆19Updated 5 years ago