ats-lang / ATS-CodeBook
This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primarily meant as recipes for people interested in learning ATS as well as using it to construct software for use in the real world.
☆59Updated 4 years ago
Alternatives and similar repositories for ATS-CodeBook:
Users that are interested in ATS-CodeBook are comparing it to the libraries listed below
- Pretty-print error messages of the ATS Compiler☆33Updated 5 years ago
- Example row-polymorphism implementations☆61Updated last year
- Build tool for ATS.☆41Updated 2 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 8 months ago
- JHC Haskell compiler split into reusable components☆57Updated 6 years ago
- Hindley-Milner type inference using constraints☆50Updated 8 years ago
- Toy typechecker for Insanely Dependent Types☆79Updated 11 years ago
- Inigo: A Package Manager for Idris2☆61Updated 2 years ago
- A prototypical dependently typed languages with sized types and variances☆107Updated 2 years ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 4 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 11 years ago
- For hosting certain parts of http://www.ats-lang.org☆27Updated 2 years ago
- Collection of ATS goodness☆35Updated 5 years ago
- The Twelf Programming Language☆119Updated last month
- ☆39Updated 7 months ago
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆81Updated 3 years ago
- An experimental type checker for a modal dependent type theory.☆109Updated 4 years ago
- For supporting template-based programming☆21Updated 4 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- A prototype programming language for programming with runners☆89Updated 3 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆42Updated 5 years ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆82Updated 3 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 7 months ago
- Book: Introduction to Dependent Types with Idris☆77Updated 2 years ago
- ICFP tutorial☆39Updated 3 years ago
- The Evolution of a Typechecker☆54Updated 6 years ago
- Tiny type-checker with dependent types☆76Updated 11 years ago