kentdlee / MLComp
A Compiler and Type Inference System for a subset of Standard ML called Small.
☆13Updated 7 years ago
Alternatives and similar repositories for MLComp:
Users that are interested in MLComp are comparing it to the libraries listed below
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆35Updated 8 years ago
- MLpolyR☆7Updated 8 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆59Updated 4 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆42Updated 6 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 8 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- Hindley-Milner type inference using constraints☆50Updated 8 years ago
- source code for the bondi programming language☆40Updated 6 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- A simple Prolog interpreter☆43Updated 3 years ago
- A small implementation of type inference☆78Updated 9 years ago
- Logic for story telling!☆34Updated 7 years ago
- The Mechanization of Standard ML☆72Updated 2 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- ☆59Updated 5 years ago
- N2O: Standard ML Application Server☆19Updated 3 years ago
- Book: Introduction to Dependent Types with Idris☆77Updated 2 years ago
- The MLtonLibrary repository☆36Updated last year
- Scheme on SECD☆41Updated 4 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆120Updated 3 years ago
- Hope programming language interpreter☆40Updated 4 years ago
- ☆29Updated 9 years ago
- The Alms Programming Language☆44Updated 6 years ago
- SML Parser Combinator Library☆27Updated 8 years ago
- Accompanying code for "Types and Programming Languages", ported to Standard ML☆30Updated 9 years ago
- Sinister's Scheme Compiler!☆24Updated 2 years ago
- A bare-bones LCF-style proof assistant☆22Updated 5 years ago
- A funny toy programming language project☆29Updated 12 years ago