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.
☆57Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for ATS-CodeBook
- Resurrecting Lennart Augustsson's implementation of Cayenne☆37Updated 11 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆41Updated 4 years ago
- For hosting certain parts of http://www.ats-lang.org☆26Updated last year
- The Alms Programming Language☆44Updated 6 years ago
- A nano "theorem prover".☆61Updated 5 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 4 years ago
- Pretty-print error messages of the ATS Compiler☆31Updated 5 years ago
- Build tool for ATS.☆41Updated 2 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- System POSIX bindings for Idris.☆36Updated 5 years ago
- source code for the bondi programming language☆38Updated 5 years ago
- For supporting template-based programming☆20Updated 4 years ago
- Example row-polymorphism implementations☆59Updated last year
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆47Updated 4 years ago
- A dependent type theory with user defined data types☆45Updated 3 years ago
- A prototype programming language for programming with runners☆88Updated 3 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 3 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- Collection of ATS goodness☆33Updated 5 years ago
- Yes, it is what you think it is☆33Updated 8 years ago
- An experimental type checker for a modal dependent type theory.☆110Updated 4 years ago
- A simple implementation of linear type theory☆38Updated 7 years ago
- ☆39Updated 3 months ago
- SDL bindings package for idris☆46Updated 4 years ago
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- A Specification for Dependent Types in Haskell (Core)☆65Updated 2 years ago
- Toy typechecker for Insanely Dependent Types☆79Updated 11 years ago