Alternatives and similar repositories for lci

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

• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆122Updated 3 years ago
• bydriv / mhc
  Minimal Haskell Compiler
  ☆63Updated 7 years ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆96Updated 3 years ago
• rocq-archive / coq-in-coq
  A formalisation of the Calculus of Constructions
  ☆70Updated 11 months ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆78Updated last month
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆164Updated 2 weeks ago
• abella-prover / abella
  An interactive theorem prover based on lambda-tree syntax
  ☆95Updated last month
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆155Updated last year
• lmntal / lmntal-compiler
  LMNtal Compiler
  ☆20Updated last month
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆75Updated 3 years ago
• brownplt / lambda-py
  ☆58Updated 11 years ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆70Updated last week
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆121Updated 3 years ago
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆121Updated this week
• ProjectSavanna / autoformat
  Standard ML autoformatter
  ☆15Updated 3 years ago
• melsman / mlkit
  Standard ML Compiler and Toolkit
  ☆287Updated 4 months ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 8 years ago
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 4 years ago
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆209Updated last month
• gilith / metis
  An automatic theorem prover for first order logic with equality
  ☆31Updated 4 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• nrnrnr / qc--
  Quick C-- compiler (no longer maintained)
  ☆159Updated 11 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 5 years ago
• SMLFamily / Successor-ML
  A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
  ☆200Updated 10 months ago
• rems-project / lem
  Lem semantic definition language
  ☆139Updated 3 months ago
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆34Updated 7 months ago
• standardml / parcom
  SML Parser Combinator Library
  ☆28Updated 9 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆153Updated this week
• alhassy / next-700-module-systems
  PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
  ☆81Updated 3 years ago