ats-lang / ATS-Postiats-release
ATS2: Unleashing the Potentials of Types and Templates
☆40Updated 4 years ago
Related projects: ⓘ
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆57Updated 3 years ago
- A statically-typed programming language based on "F-ing modules"☆79Updated 4 years ago
- The Twelf Programming Language☆105Updated last week
- Repository and Wiki for enriching the Standard ML Basis Library☆60Updated 2 years ago
- SML reference interpreter☆110Updated last year
- For hosting certain parts of http://www.ats-lang.org☆25Updated last year
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆49Updated 4 months ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆70Updated 4 years ago
- Pretty-print error messages of the ATS Compiler☆31Updated 5 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆47Updated 4 years ago
- The Makam Metalanguage☆187Updated last year
- a functional programming language with algebraic effects and handlers☆81Updated 2 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆47Updated 4 years ago
- For supporting template-based programming☆20Updated 4 years ago
- ☆46Updated 6 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- Book: Introduction to Dependent Types with Idris☆75Updated last year
- The Definition of Standard ML, Revised (1997)☆111Updated 7 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆52Updated 4 months ago
- Kempe is a compiled stack-based language☆58Updated 3 months ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆96Updated last year
- A compiler for the gradually typed lambda calculus☆76Updated 2 years ago
- Smackage Package Manager for Standard ML☆121Updated 2 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 6 years ago
- SML Parser Combinator Library☆27Updated 8 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 3 months ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆64Updated 7 years ago
- ☆18Updated last month
- higher order dependently typed logic programing☆164Updated 6 years ago