LeastAuthority / haskell-magic-wormhole
Magic Wormhole for Haskell
☆11Updated last year
Alternatives and similar repositories for haskell-magic-wormhole:
Users that are interested in haskell-magic-wormhole are comparing it to the libraries listed below
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated last month
- Invertible parsing for S-expressions☆34Updated 3 weeks ago
- Mirror of Conor McBride’s 2011 Agda course materials☆12Updated 6 years ago
- An efficient graph library for Haskell☆39Updated 8 months ago
- SPAKE2 key exchange protocol for Haskell☆14Updated last year
- A hip inductive theorem prover!☆89Updated 3 years ago
- Accepted papers for ICFP 2014☆119Updated 8 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Agda-style equational reasoning in Haskell☆53Updated 3 weeks ago
- ☆23Updated 7 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated 3 weeks ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 4 months ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- enumerative property-based testing for Haskell☆53Updated 2 months ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 10 months ago
- Miller/pattern unification in Agda