nikivazou / thesis
Liquid Haskell: How to turn Haskell into a Theorem Prover
☆13Updated 8 years ago
Alternatives and similar repositories for thesis:
Users that are interested in thesis are comparing it to the libraries listed below
- TODO☆10Updated 9 years ago
- Heyting Algebras in Haskell☆14Updated 2 years ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆15Updated 5 months ago
- Haskell Join-calculus DSL☆22Updated 6 years ago
- Superposition prover☆17Updated 2 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 6 years ago
- Accepted papers for ICFP 2014☆120Updated 8 years ago
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Updated 9 years ago
- Type Theory in Type Theory using Cubical Agda☆12Updated 6 years ago
- ☆21Updated 9 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- Idris LLVM codegen factored out☆78Updated 7 years ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆13Updated 7 years ago
- Try Idris☆35Updated 9 years ago
- A small profunctor library for idris☆17Updated 2 years ago
- A tiny statically typed programming language☆18Updated 10 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- ☆23Updated 7 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated 6 months ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Mirror of Conor McBride’s 2011 Agda course materials☆11Updated 6 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 3 months ago
- Used libraries: llvm-general, llvm-general-pure - 3.4.2-1; llvm version: 3.4.2-1; Based on http://www.stephendiehl.com/llvm/ solution.☆7Updated 9 years ago
- Common lower-level functions needed by various streaming data libraries☆36Updated last month
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 2 months ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago