githwxi / ATS-XanaduLinks
Bootstrapping ATS3
☆226Updated last week
Alternatives and similar repositories for ATS-Xanadu
Users that are interested in ATS-Xanadu are comparing it to the libraries listed below
Sorting:
- ATS2: Unleashing the Potentials of Types and Templates☆371Updated 2 months ago
- Dependent type checker using normalisation by evaluation☆265Updated 11 months ago
- 1ML prototype interpreter☆286Updated 5 years ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆382Updated last year
- The Makam Metalanguage☆199Updated 2 years ago
- Frank compiler☆296Updated last year
- A categorical programming language with effects☆283Updated 2 years ago
- A fast functional language based on two level type theory☆391Updated 2 years ago
- The Twelf Programming Language☆142Updated last week
- Embeddable Lambda Prolog Interpreter☆324Updated last week
- Standard ML of New Jersey☆219Updated this week
- Malfunctional Programming☆350Updated 9 months ago
- Compiler for the Mirth programming language.☆473Updated 3 months ago
- The adventures of a Haskell compiler☆231Updated 3 months ago
- A compiler for functional programs on serialized data☆167Updated 2 months ago
- An ML-like functional programming language☆338Updated 3 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆629Updated 3 months ago
- an implementation of stuck macros☆145Updated 3 weeks ago
- The MaPLe compiler: efficient and scalable parallel functional programming☆389Updated 2 weeks ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆201Updated last year
- A declarative concatenative programming language☆165Updated 10 months ago
- Plasma Programming Language☆166Updated 4 months ago
- Haskell + Lisp☆212Updated last year
- ATS2: Unleashing the Potentials of Types and Templates☆45Updated 5 years ago
- Staged compilation with dependent types☆179Updated 3 months ago
- ☆233Updated 3 weeks ago
- Haskell implemented with combinators☆576Updated this week
- A language server for Standard ML in Rust.☆227Updated last week
- SML reference interpreter☆116Updated last month
- Generic package manager for Standard ML libraries and programs☆167Updated 7 months ago