moved from https://sourceforge.net/p/min-caml/code/
☆521Sep 29, 2025Updated 5 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:
- Statically typed functional programming language implementation with Go and LLVM☆758Jul 4, 2020Updated 5 years ago
- Poly/ML☆522Feb 25, 2026Updated last week
- Malfunctional Programming☆352Feb 28, 2026Updated last week
- Standard ML Compiler and Toolkit☆297Feb 26, 2026Updated last week
- The MLton repository☆1,057Feb 27, 2026Updated last week
- 1ML prototype interpreter☆293Jun 28, 2020Updated 5 years ago
- Implementations of various type systems in OCaml.☆1,598Aug 31, 2015Updated 10 years ago
- self-hosted compiler for a subset of OCaml☆51Jun 12, 2019Updated 6 years ago
- CakeML: A Verified Implementation of ML☆1,117Updated this week
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆210Jun 14, 2024Updated last year
- Parser combinators built for speed and memory efficiency☆701Sep 12, 2024Updated last year
- A statically-typed, functional typesetting system☆1,242Dec 15, 2025Updated 2 months ago
- Programming Languages Zoo☆1,580Jun 18, 2024Updated last year
- SML# compiler☆247Dec 8, 2025Updated 3 months ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Jan 8, 2017Updated 9 years ago
- An OCaml lexer generator for Unicode☆265Nov 24, 2025Updated 3 months ago
- The Hindley Milner Type Inference Algorithm☆376Dec 11, 2016Updated 9 years ago
- Multicore OCaml☆766Dec 9, 2022Updated 3 years ago
- SML reference interpreter☆122Oct 17, 2025Updated 4 months ago
- The Caml Light implementation of the Caml language☆68Mar 10, 2023Updated 2 years ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆206Aug 15, 2024Updated last year
- Self-contained monadic parser combinators for OCaml☆152Jul 24, 2023Updated 2 years ago
- Examples to illustrate the use of algebraic effects in Multicore OCaml☆452May 18, 2024Updated last year
- Preprocessor / Pretty Printer for OCaml☆77Oct 7, 2025Updated 5 months ago
- A "implementation" of Girard's paradox in OCaml☆110Apr 7, 2015Updated 10 years ago
- Wiki for compiler hacking sessions☆90Nov 21, 2017Updated 8 years ago
- Typed Regular Expressions☆181Dec 8, 2025Updated 3 months ago
- System Fω interpreter for use in Advanced Functional Programming course☆68Oct 16, 2023Updated 2 years ago
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆361Jan 26, 2024Updated 2 years ago
- Base library and tools for ppx rewriters☆287Feb 19, 2026Updated 2 weeks ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆223Nov 25, 2022Updated 3 years ago
- A composable build system for OCaml.☆1,848Updated this week
- A toy language based on LLVM that implements the System Fω type-system☆114Aug 14, 2023Updated 2 years ago
- An OCaml toplevel (REPL) upgrade☆92Jul 29, 2025Updated 7 months ago
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆61Apr 18, 2011Updated 14 years ago
- Prototype type inference engine☆204Jan 31, 2025Updated last year
- A curated collection of awesome OCaml tools, frameworks, libraries and articles.☆3,055Nov 5, 2025Updated 4 months ago
- rcaml is an OCaml implementation in Rust☆63Dec 25, 2017Updated 8 years ago
- The core OCaml system: compilers, runtime system, base libraries☆6,201Updated this week