dbp / howtoprovefullabstractionLinks
Writeup that goes along with this:
☆15Updated 7 years ago
Alternatives and similar repositories for howtoprovefullabstraction
Users that are interested in howtoprovefullabstraction are comparing it to the libraries listed below
Sorting:
- secret project☆17Updated 7 years ago
- Dependently typed Algorithm M and friends☆25Updated 7 years ago
- Idris, but it's C☆24Updated 7 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 4 years ago
- A dependently typed type checker for a TT with intervals☆23Updated 5 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- A blog about Coq☆10Updated 4 years ago
- Experiments in formalizing refinement type systems in Coq☆18Updated 9 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 3 weeks ago
- The Spire Programming Language☆59Updated 10 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- Lambda Calculus with quote and unquote☆19Updated 5 years ago
- A Brainfuck interpreter written in Agda☆50Updated 3 years ago
- Embedding a Full Linear Lambda Calculus in Haskell☆8Updated 9 years ago
- Type level algebraic "proofs" using lens combinators☆19Updated 5 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- xmonad in Coq☆46Updated 12 years ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Updated 6 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- ☆29Updated 9 years ago
- ☆17Updated last year
- ET (IPL) language interpreters and literature☆26Updated 6 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- Luck -- A Language for Property-Based Generators☆35Updated 4 months ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- A version of Epigram 1 that can run with newer GHCs☆52Updated 7 years ago
- ☆26Updated 8 years ago
- The Alms Programming Language☆44Updated 6 years ago