ats-lang / ATS-CodeBookLinks
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.
☆62Updated 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
Sorting:
- ATS2: Unleashing the Potentials of Types and Templates☆45Updated 5 years ago
- Pretty-print error messages of the ATS Compiler☆37Updated 6 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- Collection of ATS goodness☆34Updated 5 years ago
- The Alms Programming Language☆44Updated 7 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆76Updated 5 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆54Updated 5 years ago
- A dependent type theory with user defined data types☆47Updated 4 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- Hindley-Milner type inference using constraints☆50Updated 8 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- For supporting template-based programming☆22Updated 5 years ago
- ☆39Updated last year
- Toy typechecker for Insanely Dependent Types☆82Updated last week
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- source code for the bondi programming language☆41Updated 6 years ago
- For parts of https://www.ats-lang.org☆26Updated 3 months ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆49Updated 5 years ago
- A prototype programming language for programming with runners☆91Updated 4 years ago
- Build tool for ATS.☆42Updated 3 years ago
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆82Updated 3 years ago
- Example row-polymorphism implementations☆61Updated 2 years ago
- MetaML and MetaOCaml bibliography☆94Updated 10 months ago
- Hope programming language interpreter☆42Updated 4 months ago
- An idris backend compiling to chez scheme☆48Updated 8 years ago
- Inigo: A Package Manager for Idris2☆62Updated 2 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆37Updated 12 years ago
- A simple Prolog interpreter☆42Updated 3 years ago