statebox / bcfwmLinks
Blockchain Technology for the Working Mathematician
☆24Updated 7 years ago
Alternatives and similar repositories for bcfwm
Users that are interested in bcfwm are comparing it to the libraries listed below
Sorting:
- Hakyll support for Agda literate files☆19Updated 3 years ago
- ☆23Updated 7 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
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- Superposition prover☆17Updated 2 years ago
- Formalism and proofs for esverify☆20Updated 7 years ago
- ☆16Updated 7 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Updated 9 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- a logic-based trust-management system☆19Updated 12 years ago
- A functional smart contract system☆6Updated 6 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- Code samples inspiring language design☆24Updated 9 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 6 months 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
- Type level algebraic "proofs" using lens combinators☆19Updated 5 years ago
- Elliptic Curve Cryptography in Haskell☆13Updated last year
- JSON RPC using the remote monad☆9Updated 7 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 11 months ago
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- Multihash Haskell implementation☆27Updated 2 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- A date and time library for Lean 4☆12Updated last month