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
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Example row-polymorphism implementations☆61Updated last year
- For supporting template-based programming☆21Updated 4 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆42Updated 5 years ago
- Build tool for ATS.☆41Updated 2 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 9 months ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- ☆41Updated 7 years ago
- Collection of ATS goodness☆35Updated 5 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆48Updated 4 years ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- Inigo: A Package Manager for Idris2☆61Updated 2 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- GRIN backend for Idris☆51Updated 4 years 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
- 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
- ☆39Updated 7 months ago
- Toy typechecker for Insanely Dependent Types☆79Updated 11 years ago
- The Alms Programming Language☆44Updated 6 years ago
- source code for the bondi programming language☆40Updated 6 years ago
- ICFP tutorial☆39Updated 3 years ago
- ☆40Updated 5 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 4 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago