padsproj / pads-haskell
Haskell binding for PADS
☆18Updated 5 years ago
Alternatives and similar repositories for pads-haskell:
Users that are interested in pads-haskell are comparing it to the libraries listed below
- Library for invertible parsing and printing☆31Updated 9 months ago
- Miller/pattern unification in Agda☆64Updated 11 years ago
- ☆23Updated 7 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆29Updated last week
- Agda suffices: software written from A to Z in Agda☆15Updated 5 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 4 months ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 3 years ago
- A Dependently Typed Programming Language☆27Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last week
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- Dependent hash maps☆14Updated 9 months ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- Dependently typed Algorithm M and friends☆25Updated 6 years ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Updated 6 years ago
- An epoll-based HTTP library for ATS2☆14Updated 2 years ago
- ☆21Updated 9 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- The Alms Programming Language☆44Updated 6 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- Literate coq blog posts☆17Updated 9 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- The SAW core language.☆54Updated 3 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 6 years ago