Alternatives and similar repositories for lci

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

• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆77Updated 3 weeks ago
• nrnrnr / qc--
  Quick C-- compiler (no longer maintained)
  ☆158Updated 11 years ago
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆121Updated last year
• SMLFamily / Successor-ML
  A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
  ☆200Updated 9 months ago
• dls / house
  Haskell Operating System
  ☆163Updated 16 years ago
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆312Updated last week
• smlsharp / smlsharp
  SML# compiler
  ☆229Updated last month
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆122Updated 2 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆155Updated last year
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆75Updated 3 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago
• esumii / min-caml
  moved from https://sourceforge.net/p/min-caml/code/
  ☆506Updated 7 months ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆229Updated 2 years ago
• melsman / mlkit
  Standard ML Compiler and Toolkit
  ☆286Updated 4 months ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated last month
• elucent / scheme2d
  The future of programming.
  ☆69Updated 4 years ago
• bydriv / mhc
  Minimal Haskell Compiler
  ☆63Updated 7 years ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆43Updated 5 years ago
• irori / lazyk
  Lazy K interpreter
  ☆28Updated 9 months ago
• jbeder / fractran
  Fractran interpreter in Fractran
  ☆34Updated 10 years ago
• ranjitjhala / sprite-lang
  An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
  ☆147Updated last year
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆69Updated 5 months ago
• mpu / lambda
  A small λ-calculus interpreter in C
  ☆56Updated 10 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• tathougies / hos
  The functional Haskell kernel
  ☆137Updated 9 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆133Updated 4 months ago
• mietek / charity-lang
  Charity language interpreters and literature
  ☆114Updated 6 years ago