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:
- Collection of ATS goodness☆34Updated 5 years ago
- Pretty-print error messages of the ATS Compiler☆37Updated 6 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆45Updated 5 years ago
- For parts of https://www.ats-lang.org☆26Updated 3 months ago
- A nano "theorem prover".☆62Updated 6 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆49Updated 5 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆50Updated 5 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆76Updated 5 years ago
- Inigo: A Package Manager for Idris2☆62Updated 2 years ago
- The Alms Programming Language☆44Updated 7 years ago
- Hope programming language interpreter☆41Updated 4 months ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- ☆39Updated last year
- Package manager for Idris☆37Updated 3 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- Yes, it is what you think it is☆33Updated 9 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 5 years ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 9 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 7 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Jhc: Haskell Compiler☆38Updated 10 years ago
- For supporting template-based programming☆22Updated 5 years ago
- Build tool for ATS.☆42Updated 3 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆122Updated 3 years ago
- A prototype programming language for programming with runners☆91Updated 4 years ago
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- theseus, functional programming language with fully reversible computation☆123Updated 6 years ago