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:
- ATS2: Unleashing the Potentials of Types and Templates☆45Updated 5 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- Collection of ATS goodness☆34Updated 6 years ago
- Pretty-print error messages of the ATS Compiler☆37Updated 6 years ago
- The Alms Programming Language☆44Updated 7 years ago
- For parts of https://www.ats-lang.org☆26Updated 5 months ago
- Mirror of Epigram 2, by Conor McBride, et al.☆55Updated 5 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆49Updated 5 years ago
- Inigo: A Package Manager for Idris2☆62Updated 3 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆77Updated 5 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 5 years ago
- ☆39Updated last year
- Minimalistic dependent type theory with syntactic metaprogramming☆58Updated last year
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- A dependent type theory with user defined data types☆47Updated 4 years ago
- Build tool for ATS.☆42Updated 3 years ago
- ☆47Updated 8 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- Package manager for Idris☆37Updated 3 years ago
- Hope programming language interpreter☆42Updated 6 months ago
- Dependently Typed Lambda Calculus in Haskell☆116Updated 4 years ago
- source code for the bondi programming language☆43Updated 6 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- higher order dependently typed logic programing☆173Updated 7 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 9 months ago
- Normalization by Evaluation for Martin-Löf Type Theory☆130Updated last year
- A prototype programming language for programming with runners☆91Updated 4 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 9 years ago