Alternatives and similar repositories for lci:

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

• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆75Updated 3 weeks ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆75Updated 3 years ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆118Updated 2 years ago
• bydriv / mhc
  Minimal Haskell Compiler
  ☆63Updated 7 years ago
• racket / redex
  ☆94Updated last week
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆151Updated 2 weeks ago
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆119Updated 10 months ago
• standardml / cmlib
  A basic library of algorithms and data structures (a la NJlib)
  ☆74Updated last week
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆229Updated 2 years ago
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆206Updated 4 months ago
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆123Updated 2 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆154Updated 11 months ago
• nrnrnr / qc--
  Quick C-- compiler (no longer maintained)
  ☆158Updated 11 years ago
• dls / house
  Haskell Operating System
  ☆158Updated 16 years ago
• coq-ext-lib / coq-compile
  A compiler for Coq
  ☆26Updated 12 years ago
• gilith / metis
  An automatic theorem prover for first order logic with equality
  ☆31Updated 4 years ago
• SMLFamily / Successor-ML
  A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
  ☆198Updated 7 months ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆158Updated this week
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆306Updated this week
• stedolan / malfunction
  Malfunctional Programming
  ☆346Updated 4 months ago
• mpu / lambda
  A small λ-calculus interpreter in C
  ☆51Updated 10 years ago
• rocq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆165Updated 5 months ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆32Updated 4 years ago
• melsman / mlkit
  Standard ML Compiler and Toolkit
  ☆284Updated 2 months ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆36Updated 5 years ago
• xgrommx / coq-ecosystem
  ☆42Updated 6 years ago
• rems-project / lem
  Lem semantic definition language
  ☆138Updated 3 weeks ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆42Updated 5 years ago