esumii / min-camlLinks
moved from https://sourceforge.net/p/min-caml/code/
☆512Updated 10 months ago
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☆240Updated last month
- Standard ML Compiler and Toolkit☆291Updated last week
- The Egison Programming Language☆919Updated 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
- The MLton repository☆1,018Updated 2 months ago
- Poly/ML☆502Updated last week
- Self-contained monadic parser combinators for OCaml☆148Updated 2 years ago
- Malfunctional Programming☆350Updated 9 months ago
- Haskell Operating System☆170Updated 16 years ago
- The Standard ML compiler that produces Lua/JavaScript☆398Updated last week
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆201Updated last year
- ☆433Updated last year
- My sandbox for experimenting with solver algorithms.☆158Updated 2 months ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆102Updated 10 years ago
- An OCaml lexer generator for Unicode☆260Updated 2 months ago
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆58Updated 14 years ago
- LMNtal Compiler☆20Updated 3 months ago
- Standard ML of New Jersey☆218Updated last week
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆201Updated 5 years ago
- Smackage Package Manager for Standard ML☆123Updated 3 years ago
- Library for binding to C libraries using pure OCaml☆397Updated 2 months ago
- Certified Programming with Dependent Types (Japanese Translation)☆15Updated 4 years ago
- OCaml の日本語での情報☆95Updated 6 years ago
- SML reference interpreter☆116Updated 3 weeks ago
- CakeML: A Verified Implementation of ML☆1,068Updated last week
- ATS2: Unleashing the Potentials of Types and Templates☆370Updated 2 months ago
- Prototype type inference engine☆204Updated 6 months ago
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆729Updated 4 years ago
- A full implementation of the Scheme programming language for the Haskell Platform.☆315Updated last year
- The Hindley Milner Type Inference Algorithm☆373Updated 8 years ago