githwxi / ATS-Xanadu
Bootstrapping ATS3
☆211Updated this week
Alternatives and similar repositories for ATS-Xanadu:
Users that are interested in ATS-Xanadu are comparing it to the libraries listed below
- ATS2: Unleashing the Potentials of Types and Templates☆360Updated 3 months ago
- Dependent type checker using normalisation by evaluation☆258Updated 7 months ago
- 1ML prototype interpreter☆281Updated 4 years ago
- Embeddable Lambda Prolog Interpreter☆309Updated this week
- The Makam Metalanguage☆198Updated 2 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆609Updated 3 weeks ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆378Updated last year
- Haskell implemented with combinators☆473Updated this week
- A categorical programming language with effects☆276Updated 2 years ago
- Frank compiler☆289Updated last year
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆198Updated 8 months ago
- an implementation of stuck macros☆139Updated last month
- Malfunctional Programming☆346Updated 5 months ago
- Spartan type theory☆263Updated 11 months ago
- An ML-like functional programming language☆334Updated 3 years ago
- A fast functional language based on two level type theory☆390Updated 2 years ago
- Haskell + Lisp☆208Updated 11 months ago
- A prototype successor to Idris☆540Updated 5 years ago
- The Twelf Programming Language☆125Updated 2 months ago
- Standard ML of New Jersey☆206Updated last week
- 😎TT☆225Updated last year
- Demo for high-performance type theory elaboration☆541Updated last year
- A compiler for functional programs on serialized data☆161Updated 2 weeks ago
- The adventures of a Haskell compiler☆225Updated 4 months ago
- Compiler for the Mirth programming language.☆463Updated this week
- Poly/ML☆498Updated 3 weeks ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,038Updated last year
- A purely functional programming language with first class types☆58Updated last month
- Functional programming with fewer indirections☆759Updated 4 years ago
- The LLVM LHC Haskell Optimization System☆200Updated 4 years ago