MLton / mltonLinks
The MLton repository
☆1,018Updated 2 months ago
Alternatives and similar repositories for mlton
Users that are interested in mlton are comparing it to the libraries listed below
Sorting:
- Poly/ML☆503Updated last week
- CakeML: A Verified Implementation of ML☆1,070Updated this week
- The Mercury logic programming system.☆963Updated this week
- Standard ML Compiler and Toolkit☆291Updated last week
- Typed Racket☆548Updated last week
- ATS2: Unleashing the Potentials of Types and Templates☆370Updated 2 months ago
- A functional programming language based on algebraic effect handlers☆884Updated last month
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆730Updated 4 years ago
- Multicore OCaml☆766Updated 2 years ago
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆352Updated last year
- J engine source mirror☆701Updated this week
- A statically typed concatenative systems programming language.☆1,129Updated 2 years ago
- moved from https://sourceforge.net/p/min-caml/code/☆512Updated 10 months ago
- The MaPLe compiler: efficient and scalable parallel functional programming☆389Updated last week
- Factor programming language☆1,741Updated this week
- High-performance, Reliable, and Parallel APL☆766Updated 2 weeks ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,045Updated 2 months ago
- Standard ML of New Jersey☆218Updated this week
- Mozart Programming System v2☆593Updated 6 months ago
- Compiler for the Mirth programming language.☆473Updated 3 months ago
- WIP implementation of a Haskell-like Lisp in Racket☆1,182Updated last year
- Programming Languages Zoo☆1,511Updated last year
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆629Updated 3 months ago
- Implementations of various type systems in OCaml.☆1,586Updated 9 years ago
- Functional programming with fewer indirections☆767Updated 5 years ago
- Parser combinators built for speed and memory efficiency☆687Updated 11 months ago
- A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system cap…☆853Updated 6 months ago
- A demo implementation of a simple dependently-typed language☆610Updated 9 months ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆201Updated last year
- Malfunctional Programming☆350Updated 9 months ago