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☆35Updated 5 years ago
- Example row-polymorphism implementations☆61Updated last year
- For hosting certain parts of http://www.ats-lang.org☆27Updated this week
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 11 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 10 months ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- Inigo: A Package Manager for Idris2☆61Updated 2 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- ☆39Updated 9 months ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆48Updated 4 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 4 years ago
- Hindley-Milner type inference using constraints☆50Updated 8 years ago
- Toy typechecker for Insanely Dependent Types☆79Updated 11 years ago
- The Alms Programming Language☆44Updated 6 years ago
- ☆47Updated 7 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆42Updated 5 years ago
- Build tool for ATS.☆41Updated 3 years ago
- Yes, it is what you think it is☆33Updated 9 years ago
- Collection of ATS goodness☆35Updated 5 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- For supporting template-based programming☆21Updated 4 years ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- ICFP tutorial☆39Updated 3 years ago
- ☆41Updated 7 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆48Updated 3 years ago
- Package manager for Idris☆35Updated 2 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆58Updated last year