Alternatives and similar repositories for lci

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

• kfl / mosml
  Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
  ☆361Updated last year
• melsman / mlkit
  Standard ML Compiler and Toolkit
  ☆296Updated 3 weeks ago
• SMLFamily / Successor-ML
  A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
  ☆206Updated last year
• dls / house
  Haskell Operating System
  ☆171Updated 16 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆117Updated 8 years ago
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆124Updated 3 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 4 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆147Updated last month
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆160Updated last year
• stedolan / malfunction
  Malfunctional Programming
  ☆351Updated last year
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆46Updated 6 years ago
• nrnrnr / qc--
  Quick C-- compiler (no longer maintained)
  ☆164Updated 11 years ago
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆126Updated 2 months ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 11 years ago
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆229Updated 3 years ago
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆170Updated 3 weeks ago
• githwxi / ATS-Postiats
  ATS2: Unleashing the Potentials of Types and Templates
  ☆381Updated 7 months ago
• Deducteam / Dedukti
  Type-checker for the λΠ-calculus modulo rewriting
  ☆224Updated last month
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• msakai / toysolver
  My sandbox for experimenting with solver algorithms.
  ☆158Updated 7 months ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆57Updated 5 years ago
• techcentaur / Krivine-Machine
  Abstract krivine machine implementing call-by-name semantics. In OCaml.
  ☆45Updated 7 years ago
• lexi-lambda / racket-r7rs
  An implementation of R7RS in Racket
  ☆102Updated last year
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆129Updated this week
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆157Updated last month
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 7 years ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆125Updated 2 years ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆282Updated 11 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• lemmih / lhc
  The LLVM LHC Haskell Optimization System
  ☆202Updated 5 years ago