Alternatives and similar repositories for lci

Users that are interested in lci are comparing it to the libraries listed below

• SMLFamily / Successor-ML
  A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
  ☆200Updated 11 months ago
• tathougies / hos
  The functional Haskell kernel
  ☆139Updated 9 years ago
• kfl / mosml
  Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
  ☆350Updated last year
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆122Updated last month
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆115Updated 8 years ago
• melsman / mlkit
  Standard ML Compiler and Toolkit
  ☆293Updated 6 months ago
• techcentaur / Krivine-Machine
  Abstract krivine machine implementing call-by-name semantics. In OCaml.
  ☆44Updated 7 years ago
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆123Updated 3 years ago
• jozefg / hm
  A small implementation of type inference
  ☆79Updated 10 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆75Updated 5 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 7 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆123Updated 10 years ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆45Updated 5 years ago
• fare / moll
  My Own Linear Lisp
  ☆41Updated 6 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆147Updated 4 years ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆75Updated 3 years ago
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆166Updated 6 months ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆167Updated 3 months ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆166Updated last month
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆229Updated 2 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆141Updated 6 months ago
• sweirich / tal
  An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
  ☆148Updated 3 years ago
• githwxi / ATS-Postiats
  ATS2: Unleashing the Potentials of Types and Templates
  ☆370Updated last month
• dls / house
  Haskell Operating System
  ☆167Updated 16 years ago
• lemmih / lhc
  The LLVM LHC Haskell Optimization System
  ☆201Updated 5 years ago
• bydriv / mhc
  Minimal Haskell Compiler
  ☆63Updated 7 years ago
• mflatt / gc-demo
  ☆87Updated 4 years ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆189Updated last year
• steshaw / tiger-ml
  Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
  ☆58Updated 14 years ago