esumii / min-camlLinks
moved from https://sourceforge.net/p/min-caml/code/
☆510Updated 9 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 2 weeks ago
- The Egison Programming Language☆921Updated 2 years ago
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆350Updated last year
- Standard ML Compiler and Toolkit☆292Updated 5 months ago
- The MLton repository☆1,019Updated last month
- Self-contained monadic parser combinators for OCaml☆148Updated 2 years ago
- Poly/ML☆507Updated last month
- Malfunctional Programming☆350Updated 8 months ago
- Haskell Operating System☆167Updated 16 years ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆200Updated 11 months ago
- My sandbox for experimenting with solver algorithms.☆157Updated 2 months ago
- An OCaml lexer generator for Unicode☆258Updated last month
- Standard ML of New Jersey☆216Updated this week
- The Standard ML compiler that produces Lua/JavaScript☆399Updated this week
- Library for binding to C libraries using pure OCaml☆394Updated last month
- CakeML: A Verified Implementation of ML☆1,068Updated this week
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆102Updated 10 years ago
- OCaml の日本語での情報☆95Updated 6 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆368Updated last month
- SML reference interpreter☆116Updated last week
- Smackage Package Manager for Standard ML☆123Updated 3 years ago
- 1ML prototype interpreter☆285Updated 5 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆200Updated 5 years ago
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆58Updated 14 years ago
- A language server for Standard ML in Rust.☆226Updated last month
- LMNtal Compiler☆20Updated 2 months ago
- self-hosted compiler for a subset of OCaml☆51Updated 6 years ago
- A Standard ML Compiler for the Web☆388Updated 2 years ago
- Statically typed functional programming language implementation with Go and LLVM☆758Updated 5 years ago
- Prototype type inference engine☆203Updated 6 months ago