LeastAuthority / haskell-magic-wormholeLinks
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
Sorting:
- SPAKE2 key exchange protocol for Haskell☆14Updated 2 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 2 months ago
- TODO☆10Updated 9 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- The SAW core language.☆54Updated 3 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Updated 7 years ago
- ☆23Updated 7 years ago
- Invertible parsing for S-expressions☆34Updated 2 months ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- Exercism exercises in Coq.☆18Updated 7 months ago
- An efficient graph library for Haskell☆39Updated last week
- ☆47Updated 7 years ago
- Stroll: an experimental build system☆40Updated 2 years ago
- Tic Tac Toe, formalized in Agda☆23Updated 3 years ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Updated 3 months ago
- ☆20Updated 6 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- Mirror of Conor McBride’s 2011 Agda course materials☆12Updated 6 years ago
- Some writings about a type system for nix☆19Updated 7 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago
- Try Idris☆35Updated 9 years ago
- purerl bindings to basic Erlang process functionality☆13Updated 2 years ago
- Agda suffices: software written from A to Z in Agda☆16Updated 6 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Austin's supercompiler work☆21Updated 5 years ago