jats-ug / ATS_Foundations
Book: ATS programming foundations
☆9Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for ATS_Foundations
- The Alms Programming Language☆44Updated 6 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆47Updated 4 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- OCaml backend for Agda☆39Updated 6 years ago
- An abstract machine using indexed containers and their zippers☆14Updated 7 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- System POSIX bindings for Idris.☆36Updated 5 years ago
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆37Updated 11 years ago
- A language-integrated proof assistant, for and in Racket☆39Updated 8 years ago
- Generation of abstract binding trees☆27Updated last month
- An empty code generator, to be used as a starting point for any new back ends.☆50Updated 7 years ago
- ☆29Updated 9 years ago
- xmonad in Coq☆43Updated 12 years ago
- Idris, but it's C☆24Updated 6 years ago
- A Racket library for interacting with Idris over the IDE protocol☆30Updated 7 years ago
- Build tool for ATS.☆41Updated 2 years ago
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- ☆21Updated 7 years ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 11 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 8 years ago
- Supporting tool for Gradual Typing☆16Updated 4 years ago
- OCaml back end for Idris☆22Updated 6 years ago
- Type provider library for Idris☆92Updated 6 years ago
- Racket bindings for Z3☆24Updated 5 years ago