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 6 years ago
- For parts of https://www.ats-lang.org☆27Updated last week
- ATS2: Unleashing the Potentials of Types and Templates☆43Updated 5 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 5 years ago
- Collection of ATS goodness☆35Updated 5 years ago
- ☆39Updated 11 months ago
- For supporting template-based programming☆21Updated 5 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- Build tool for ATS.☆41Updated 3 years ago
- Inigo: A Package Manager for Idris2☆62Updated 2 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Hope programming language interpreter☆41Updated last month
- 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 prototype programming language for programming with runners☆90Updated 3 years ago
- Hindley-Milner type inference using constraints☆50Updated 8 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 4 years ago
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- Idris 2 bindings to various C libraries☆15Updated 4 years ago
- A prototypical dependently typed languages with sized types and variances☆109Updated 2 years ago
- Toy typechecker for Insanely Dependent Types☆81Updated 11 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 4 months ago
- The Disco Discus Compiler☆174Updated 6 years ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 9 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 5 years ago
- Yes, it is what you think it is☆33Updated 9 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- source code for the bondi programming language☆40Updated 6 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 11 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago