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.
☆64Updated 5 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:
- For parts of https://www.ats-lang.org☆26Updated 7 months 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 6 years ago
- Inigo: A Package Manager for Idris2☆62Updated 3 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆46Updated 6 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆58Updated 5 years ago
- Build tool for ATS.☆42Updated 3 years ago
- Example row-polymorphism implementations☆61Updated 2 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆77Updated 6 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆50Updated 5 years ago
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- A simple Prolog interpreter☆42Updated 4 years ago
- Hindley-Milner type inference using constraints☆50Updated 9 years ago
- SC Mini is a "minimal" positive supercompiler☆48Updated 5 years ago
- The Disco Discus Compiler☆176Updated 7 years ago
- higher order dependently typed logic programing☆173Updated 7 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆95Updated 2 months ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- theseus, functional programming language with fully reversible computation☆126Updated 6 years ago
- The Helium compiler, Helium-as-a-library, and the texthint interpreter☆98Updated last year
- The Alms Programming Language☆44Updated 7 years ago
- Hope programming language interpreter☆42Updated 8 months ago
- Type provider library for Idris☆95Updated 8 years ago
- Strict Haskell-like programming language that compiles to LLVM☆71Updated 6 years ago
- Dependently Typed Lambda Calculus in Haskell☆116Updated 4 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- ☆40Updated last year
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 12 years ago