chatziko / lci

Related projects ⓘ

Alternatives and complementary repositories for lci

• mpu / lambda
  A small λ-calculus interpreter in C
  ☆49Updated 10 years ago
• nrnrnr / qc--
  Quick C-- compiler (no longer maintained)
  ☆151Updated 10 years ago
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆122Updated 2 years ago
• melsman / mlkit
  Standard ML Compiler and Toolkit
  ☆277Updated this week
• gilith / metis
  An automatic theorem prover for first order logic with equality
  ☆30Updated 4 years ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆76Updated 3 years ago
• coq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆162Updated 3 weeks ago
• kfl / mosml
  Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
  ☆341Updated 9 months ago
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆290Updated this week
• derekelkins / agda-vim
  Agda interaction in vim
  ☆130Updated 3 years ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆113Updated last year
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆151Updated 7 months ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆68Updated 11 months ago
• abella-prover / abella
  An interactive theorem prover based on lambda-tree syntax
  ☆90Updated this week
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆113Updated 7 years ago
• wilbowma / cur
  A less devious proof assistant
  ☆222Updated last year
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 4 years ago
• bydriv / mhc
  Minimal Haskell Compiler
  ☆63Updated 6 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆162Updated 2 months ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆119Updated 2 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆147Updated this week
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆123Updated 10 years ago
• UniMath / Schools
  ☆77Updated 2 months ago
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆227Updated last year
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 3 years ago
• racket / redex
  ☆93Updated last week
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆76Updated 3 years ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆65Updated this week
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆112Updated 3 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆194Updated last year