ats-lang / ats-lang.github.io
For hosting certain parts of http://www.ats-lang.org
☆25Updated last year
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
- The Twelf Programming Language☆105Updated last week
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 3 months ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆70Updated 4 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆40Updated 4 years ago
- MixML prototype interpreter☆27Updated 4 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- A simple Prolog interpreter☆43Updated 2 years ago
- Build tool for ATS.☆41Updated 2 years ago
- Package manager for Idris☆35Updated 2 years ago
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- Collection of ATS goodness☆33Updated 4 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆47Updated 4 years ago
- ☆20Updated this week
- 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
- Pretty-print error messages of the ATS Compiler☆31Updated 5 years ago
- The LC3 virtual machine☆22Updated 2 years ago
- Hope programming language interpreter☆40Updated 4 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆47Updated 4 years ago
- NES programming in Haskell? No way!☆38Updated 8 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Vim plugin for ATS☆16Updated 3 years ago
- Interpreter for Joy in Haskell using extensible-effects☆34Updated 7 years ago
- The Alms Programming Language☆43Updated 6 years ago
- ☆41Updated 7 years ago
- A compiler for the gradually typed lambda calculus☆76Updated 2 years ago