padsproj / pads-haskell
Haskell binding for PADS
☆19Updated 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
Sorting:
- Library for invertible parsing and printing☆32Updated last year
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- a self-hosting lambda calculus compiler☆35Updated last month
- ☆23Updated 7 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 3 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Tool to convert literate code between styles or to code.☆11Updated 5 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 7 months ago
- An extended typed Lambda Calculus☆21Updated 9 months ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 11 months ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- Miller/pattern unification in Agda☆65Updated 11 years ago
- Superposition prover☆17Updated 2 years ago
- Column-oriented binary format for immutable datasets☆9Updated 5 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Playing with DSLs in Haskell☆22Updated 8 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆20Updated 6 years ago
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated last month
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Exercism exercises in Coq.☆18Updated 6 months ago
- Markup language on top of Haskell☆12Updated 7 months ago
- cargo +nightly build☆34Updated 5 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- The Alms Programming Language☆44Updated 6 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago