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
- ☆23Updated 7 years ago
- Library for invertible parsing and printing☆32Updated 11 months ago
- Tool to convert literate code between styles or to code.☆11Updated 5 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 10 months ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- An extended typed Lambda Calculus☆21Updated 9 months ago
- a self-hosting lambda calculus compiler☆35Updated last month
- Vector & affine spaces, linear maps, and derivatives☆47Updated 8 months ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 11 months ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 3 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- A human readable style for binary data.☆11Updated 5 years ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- Dependent hash maps☆14Updated last month
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- Morte IDE☆29Updated last month
- ☆21Updated 9 years ago
- Lua backend for Idris 2☆27Updated 2 years ago
- Two-Level Type Theory☆28Updated 5 years ago
- Haskell library for glob matching☆25Updated 3 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago