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:
- Pretty-print error messages of the ATS Compiler☆37Updated 6 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆55Updated 5 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆45Updated 5 years ago
- Inigo: A Package Manager for Idris2☆62Updated 3 years ago
- ☆39Updated last year
- A self-hosting mini Haskell compiler with a mini C runtime.☆77Updated 5 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- The Alms Programming Language☆44Updated 7 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- For parts of https://www.ats-lang.org☆26Updated 4 months ago
- Collection of ATS goodness☆34Updated 5 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆92Updated 2 months ago
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆82Updated 4 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆49Updated 5 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- Example row-polymorphism implementations☆61Updated 2 years ago
- ☆47Updated 8 years ago
- Build tool for ATS.☆42Updated 3 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 8 months ago
- Minimalistic dependent type theory with syntactic metaprogramming☆58Updated last year
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- Package manager for Idris☆37Updated 3 years ago
- Hope programming language interpreter☆42Updated 5 months ago
- Toy typechecker for Insanely Dependent Types☆82Updated 3 weeks ago
- Kempe is a compiled stack-based language☆58Updated last year
- Type provider library for Idris☆95Updated 7 years ago
- A prototype programming language for programming with runners☆91Updated 4 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- A tiny language for teaching and experimenting with Refinement Types☆49Updated 4 years ago