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
- For parts of https://www.ats-lang.org☆27Updated last month
- A nano "theorem prover".☆62Updated 6 years ago
- Pretty-print error messages of the ATS Compiler☆37Updated 6 years ago
- The Alms Programming Language☆44Updated 6 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆76Updated 5 years ago
- Collection of ATS goodness☆34Updated 5 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- Build tool for ATS.☆42Updated 3 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 7 years ago
- Hope programming language interpreter☆41Updated 2 months ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- Toy typechecker for Insanely Dependent Types☆81Updated 11 years ago
- ☆39Updated last year
- A workshop on learning Agda with minimal prerequisites.☆86Updated 9 years ago
- Hindley-Milner type inference using constraints☆50Updated 8 years ago
- Inigo: A Package Manager for Idris2☆63Updated 2 years ago
- GRIN backend for Idris☆51Updated 5 years ago
- A dependent type theory with user defined data types☆47Updated 3 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 5 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 5 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 7 years ago
- Type provider library for Idris☆94Updated 7 years ago
- Higher-order optimization library☆76Updated 2 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 4 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 6 months ago