esumii / min-camlLinks
moved from https://sourceforge.net/p/min-caml/code/
☆513Updated this week
Alternatives and similar repositories for min-caml
Users that are interested in min-caml are comparing it to the libraries listed below
Sorting:
- SML# compiler☆243Updated 2 months ago
- Standard ML Compiler and Toolkit☆293Updated 2 weeks ago
- The Egison Programming Language☆920Updated 2 years ago
- The MLton repository☆1,019Updated last week
- Self-contained monadic parser combinators for OCaml☆149Updated 2 years ago
- Poly/ML☆507Updated last week
- Malfunctional Programming☆350Updated 10 months ago
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆354Updated last year
- Haskell Operating System☆170Updated 16 years ago
- My sandbox for experimenting with solver algorithms.☆158Updated 4 months ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆202Updated last year
- An OCaml lexer generator for Unicode☆262Updated 3 weeks ago
- Library for binding to C libraries using pure OCaml☆397Updated last month
- The Standard ML compiler that produces Lua/JavaScript☆410Updated this week
- ATS2: Unleashing the Potentials of Types and Templates☆372Updated 3 months ago
- CakeML: A Verified Implementation of ML☆1,082Updated this week
- A functional programming language based on algebraic effect handlers☆891Updated 3 months ago
- A Standard ML Compiler for the Web☆386Updated 3 years ago
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆730Updated 4 years ago
- LMNtal Compiler☆20Updated 4 months ago
- SML reference interpreter☆116Updated 2 months ago
- A demo implementation of a simple dependently-typed language☆611Updated 10 months ago
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆58Updated 14 years ago
- 1ML prototype interpreter☆287Updated 5 years ago
- Implementations of various type systems in OCaml.☆1,589Updated 10 years ago
- Prototype type inference engine☆204Updated 8 months ago
- Certified Programming with Dependent Types (Japanese Translation)☆15Updated 4 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆102Updated 10 years ago
- Standard ML of New Jersey☆220Updated this week
- Type-driven code generation for OCaml☆502Updated 2 months ago