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.
☆61Updated 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:
- Pretty-print error messages of the ATS Compiler☆35Updated 5 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- For parts of https://www.ats-lang.org☆27Updated last month
- ATS2: Unleashing the Potentials of Types and Templates☆43Updated 5 years ago
- Build tool for ATS.☆41Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- Collection of ATS goodness☆35Updated 5 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 11 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 5 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- For supporting template-based programming☆21Updated 4 years ago
- Example row-polymorphism implementations☆61Updated last year
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- ☆39Updated 10 months ago
- Jhc: Haskell Compiler☆38Updated 9 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
- A dependent type theory with user defined data types☆46Updated 3 years ago
- Kempe is a compiled stack-based language☆58Updated 8 months ago
- The Alms Programming Language☆44Updated 6 years ago
- Hindley-Milner type inference using constraints☆50Updated 8 years ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆82Updated 3 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- Toy typechecker for Insanely Dependent Types☆81Updated 11 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 4 years ago
- A prototypical dependently typed languages with sized types and variances☆109Updated 2 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆76Updated 5 years ago
- source code for the bondi programming language☆40Updated 6 years ago
- Inigo: A Package Manager for Idris2☆62Updated 2 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆59Updated last year