Alternatives and similar repositories for MP2I:

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

• SimonHauguel / Paso
  Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system
  ☆29Updated 2 years ago
• acorrenson / modulus
  A constraint solver built from scratch in OCaml
  ☆11Updated 3 years ago
• mb64 / simple-lambda-prolog
  A simple λProlog interpreter
  ☆20Updated 3 years ago
• apoleon33 / cradle
  One album per day
  ☆11Updated 11 months ago
• herbelin / cours-preuves-ordinateur
  Page du cours preuves assistées par ordinateur 2021
  ☆15Updated last week
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 4 years ago
• thamugadi / call-cc-krivine
  A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.
  ☆14Updated last year
• acorrenson / minilog
  A verified Implementation of a mini prolog
  ☆15Updated 2 years ago
• joscoh / why3-semantics
  Formal Semantics for Why3
  ☆17Updated this week
• Psi-Prod / Mehari
  A cross-platform library for building Gemini servers
  ☆37Updated 10 months ago
• GoelandProver / Goeland
  A first-order concurrent automated theorem prover
  ☆17Updated last month
• Tim-ats-d / Postem-markup
  Fast and easy notes taking oriented markup language.
  ☆22Updated 2 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• xavierleroy / cdf-program-logics
  Companion Coq development for Xavier Leroy's 2021 lectures on program logics
  ☆40Updated 4 years ago
• ecranceMERCE / trakt
  A generic goal preprocessing tool for proof automation tactics in Coq
  ☆16Updated 4 months ago
• thery / hanoi
  Hanoi tower in Coq
  ☆25Updated 4 months ago
• rocq-community / sudoku
  A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
  ☆19Updated 2 years ago
• marc-chevalier / ocolor
  Print with style in your terminal using Format's semantic tags
  ☆19Updated last year
• tlringer / thesis
  haha I'm graduating
  ☆14Updated 3 years ago
• zilch-lang / nstar
  The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch
  ☆29Updated last year
• formal-land / coq-bonsai
  🌳 Generate a fresh bonsai in your terminal
  ☆24Updated 3 years ago
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated last year
• jomtek / LazenLang
  An imperative, object-oriented, static and type-infered programming language.
  ☆8Updated 2 years ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆35Updated 8 months ago
• xavierleroy / coq2html
  An HTML documentation generator for Coq source files
  ☆31Updated 8 months ago
• vanilla-extracts / ocaml-baguettesharp-interpreter
  OCaml Implementation of the (famous) Baguette# exotic language, used as TIPE for the 2022,2023 seasons concours
  ☆31Updated 2 months ago
• logsem / melocoton
  ☆11Updated 8 months ago
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆15Updated 5 months ago
• Tim-ats-d / Indigobi
  A cute Gemini client written in OCaml
  ☆16Updated 2 years ago
• CoqHott / exceptional-tt
  A Coq plugin that implements exceptions in Coq
  ☆13Updated 4 years ago