nikivazou / thesisLinks
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
Sorting:
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Updated 2 months ago
- A lazy non-deterministic concatenative programming language☆55Updated 12 years ago
- For parts of https://www.ats-lang.org☆27Updated 2 months ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 5 years ago
- A tiny statically typed programming language☆18Updated 11 years ago
- Jhc: Haskell Compiler☆38Updated 10 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 10 months ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- ☆23Updated 7 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 6 years ago
- Superposition prover☆17Updated 2 years ago
- Lua parser and pretty-printer☆15Updated last year
- Agda suffices: software written from A to Z in Agda☆16Updated 6 years ago
- Common lower-level functions needed by various streaming data libraries☆36Updated 7 months ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- The LC3 virtual machine☆24Updated 8 months ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆62Updated 4 years ago
- xmonad in Coq☆46Updated 13 years ago
- ncurses binding for Haskell☆62Updated last month
- Haskell JSON library☆27Updated 9 months ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆59Updated 5 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated 3 weeks ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Collection of ATS goodness☆34Updated 5 years ago
- Haskell Join-calculus DSL☆23Updated 6 years ago
- JVM implementation in Haskell☆44Updated 11 months ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 3 years ago