esumii / min-caml

Related projects ⓘ

Alternatives and complementary repositories for min-caml

• smlsharp / smlsharp
  SML# compiler
  ☆218Updated last week
• MLton / mlton
  The MLton repository
  ☆958Updated 2 weeks ago
• melsman / mlkit
  Standard ML Compiler and Toolkit
  ☆277Updated this week
• egison / egison
  The Egison Programming Language
  ☆912Updated last year
• polyml / polyml
  Poly/ML
  ☆489Updated 3 months ago
• stedolan / malfunction
  Malfunctional Programming
  ☆340Updated last week
• kfl / mosml
  Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
  ☆341Updated 9 months ago
• pyrocat101 / opal
  Self-contained monadic parser combinators for OCaml
  ☆146Updated last year
• SMLFamily / Successor-ML
  A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
  ☆193Updated 3 months ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆365Updated 7 years ago
• dls / house
  Haskell Operating System
  ☆151Updated 15 years ago
• CakeML / cakeml
  CakeML: A Verified Implementation of ML
  ☆964Updated this week
• githwxi / ATS-Postiats
  ATS2: Unleashing the Potentials of Types and Templates
  ☆353Updated 3 weeks ago
• the-little-prover / j-bob
  ☆420Updated 9 months ago
• minoki / LunarML
  The Standard ML compiler that produces Lua/JavaScript
  ☆356Updated last week
• smlnj / smlnj
  Standard ML of New Jersey
  ☆184Updated last week
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆257Updated 5 months ago
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆144Updated last year
• stedolan / mlsub
  Prototype type inference engine
  ☆197Updated 3 months ago
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆515Updated 3 weeks ago
• ocaml-community / sedlex
  An OCaml lexer generator for Unicode
  ☆240Updated 2 weeks ago
• justinethier / husk-scheme
  A full implementation of the Scheme programming language for the Haskell Platform.
  ☆308Updated last year
• the-little-typer / pie
  The Pie language, which accompanies The Little Typer by Friedman and Christiansen
  ☆697Updated 3 years ago
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,540Updated 9 years ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆349Updated 2 months ago
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆122Updated 2 years ago
• frank-lang / frank
  Frank compiler
  ☆279Updated 6 months ago
• rossberg / 1ml
  1ML prototype interpreter
  ☆270Updated 4 years ago
• koka-lang / libhandler
  Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
  ☆188Updated 4 years ago
• yallop / ocaml-ctypes
  Library for binding to C libraries using pure OCaml
  ☆371Updated 3 months ago