esumii / min-camlView external linksLinks
moved from https://sourceforge.net/p/min-caml/code/
☆518Sep 29, 2025Updated 4 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☆521Feb 3, 2026Updated last week
- Malfunctional Programming☆352Nov 10, 2024Updated last year
- Standard ML Compiler and Toolkit☆297Updated this week
- 1ML prototype interpreter☆291Jun 28, 2020Updated 5 years ago
- The MLton repository☆1,055Updated this week
- Implementations of various type systems in OCaml.☆1,597Aug 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,113Updated this week
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆209Jun 14, 2024Updated last year
- Parser combinators built for speed and memory efficiency☆698Sep 12, 2024Updated last year
- A statically-typed, functional typesetting system☆1,241Dec 15, 2025Updated 2 months ago
- Programming Languages Zoo☆1,579Jun 18, 2024Updated last year
- SML# compiler☆246Dec 8, 2025Updated 2 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☆263Nov 24, 2025Updated 2 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☆121Oct 17, 2025Updated 3 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☆451May 18, 2024Updated last year
- Preprocessor / Pretty Printer for OCaml☆76Oct 7, 2025Updated 4 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
- System Fω interpreter for use in Advanced Functional Programming course☆68Oct 16, 2023Updated 2 years ago
- Typed Regular Expressions☆181Dec 8, 2025Updated 2 months 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☆284Feb 10, 2026Updated last week
- 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,841Updated 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☆93Jul 29, 2025Updated 6 months ago
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆60Apr 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,045Nov 5, 2025Updated 3 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,182Updated this week