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
- ATS2: Unleashing the Potentials of Types and Templates☆43Updated 5 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 4 years ago
- ☆39Updated 9 months ago
- Example row-polymorphism implementations☆61Updated last year
- The Alms Programming Language☆44Updated 6 years ago
- Toy typechecker for Insanely Dependent Types☆79Updated 11 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 11 months ago
- For parts of https://www.ats-lang.org☆27Updated 2 weeks ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 11 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆48Updated 4 years ago
- A prototypical dependently typed languages with sized types and variances☆108Updated 2 years ago
- ICFP tutorial☆39Updated 3 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- For supporting template-based programming☆21Updated 4 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆43Updated 5 years ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆82Updated 3 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 3 months ago
- Hindley-Milner type inference using constraints☆50Updated 8 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- GRIN backend for Idris☆51Updated 5 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆75Updated 5 years ago
- An experimental type checker for a modal dependent type theory.☆112Updated 5 years ago