padsproj / pads-haskell
Haskell binding for PADS
☆18Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for pads-haskell
- Library for invertible parsing and printing☆31Updated 5 months ago
- BibTeX database management in Idris☆18Updated 10 years ago
- ☆23Updated 6 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 3 weeks ago
- Tool to convert literate code between styles or to code.☆11Updated 5 years ago
- ☆20Updated 9 years ago
- Miller/pattern unification in Agda☆62Updated 10 years 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
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Cursor data and manipulation☆21Updated 11 months ago
- OCaml back end for Idris☆22Updated 6 years ago
- Write type-safe shell scripts in Haskell☆14Updated 4 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- A Dependently Typed Programming Language☆27Updated 4 years ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- A semantic highlighter for Idris code☆14Updated 6 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- Invertible parsing for S-expressions☆33Updated 2 months ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆28Updated last month
- Austin's supercompiler work☆21Updated 5 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 2 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- Haskell library for glob matching☆25Updated 2 years ago