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:
- A hip inductive theorem prover!☆90Updated 4 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 8 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 8 months ago
- ☆40Updated 7 years ago
- Invertible parsing for S-expressions☆34Updated 7 months ago
- Agda-style equational reasoning in Haskell☆54Updated 7 months ago
- enumerative property-based testing for Haskell☆52Updated 3 months ago
- xmonad in Coq☆46Updated 13 years ago
- Link to preprints for POPL'18 and colocated events☆86Updated 7 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- ☆62Updated 6 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- ☆47Updated 8 years ago
- An attempt to formalize unix cat in fiat☆11Updated 8 years ago
- Abstracting Definitional Interpreters☆73Updated 7 years ago
- A Language and its compiler on Ethereum Virtual Machine☆14Updated 6 years ago
- NES programming in Haskell? No way!☆39Updated 9 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Updated 11 months ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- ☆23Updated 2 years ago
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Updated 7 years ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- Cλash/Haskell FPGA-based SKI calculus evaluator☆51Updated 9 years ago
- Simple DSL that comiles to BPF assembly☆17Updated 7 years ago
- Work in progress☆38Updated 5 months ago
- SPAKE2 key exchange protocol for Haskell☆14Updated 2 years ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆16Updated 4 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year