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 3 years ago
• herbelin / cours-preuves-ordinateur
  Page du cours preuves assistées par ordinateur 2021
  ☆16Updated 6 months ago
• marc-chevalier / ocolor
  Print with style in your terminal using Format's semantic tags
  ☆19Updated 2 years ago
• acorrenson / modulus
  A constraint solver built from scratch in OCaml
  ☆12Updated 3 years ago
• francoisschwarzentruber / prooffold
  Another attempt for visualizing proofs
  ☆12Updated last year
• nathanfarlow / c-of-ocaml
  Compile OCaml to standalone ANSI C file
  ☆44Updated this week
• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆55Updated this week
• Psi-Prod / Mehari
  A cross-platform library for building Gemini servers
  ☆37Updated 5 months ago
• craff / pacomb
  A parsing library that compiles grammars to combinators using elimination of left recursion
  ☆22Updated 3 weeks ago
• bvaugon / obytelib
  OCaml bytecode library tools
  ☆33Updated 3 years ago
• Firobe / nes-ml
  NES emulator in OCaml
  ☆43Updated 2 years ago
• InfoSansOrdi / pedago-rennes
  Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes
  ☆19Updated last month
• linoscope / caml8
  A CHIP8 emulator written in OCaml
  ☆25Updated 3 years ago
• SjVer / Som-Lang
  The Som functional programming language
  ☆21Updated 2 years ago
• CharlesAverill / proofchat
  A verified(?) TCP client/server chat application
  ☆23Updated 2 months ago
• Tim-ats-d / Indigobi
  A cute Gemini client written in OCaml
  ☆16Updated 3 years ago
• Armael / stone
  A simple static website generator, written in OCaml
  ☆24Updated 3 weeks ago
• acorrenson / owl
  A mini language for logic programming
  ☆23Updated 5 years ago
• OCamlPro / ocplib-simplex
  A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
  ☆15Updated 11 months ago
• pveber / scirep
  Generate a webpage with mathematical formulae, OCaml output and graphics from markdown
  ☆16Updated 3 years ago
• acorrenson / minilog
  A verified Implementation of a mini prolog
  ☆17Updated 3 years ago
• art-w / x-ocaml
  OCaml notebooks as a WebComponent
  ☆43Updated last month
• dmbaturin / otoml
  TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)
  ☆55Updated 6 months ago
• colis-anr / colis-language
  A symbolic analyser for shell scripts.
  ☆22Updated 4 years ago
• sim642 / odep
  Dependency graphs for OCaml modules, libraries and packages
  ☆39Updated 4 months ago
• xavierleroy / coq2html
  An HTML documentation generator for Coq source files
  ☆31Updated last year
• ktahar / ocaml-lp
  LP and MIP modeling in OCaml
  ☆28Updated 5 months ago
• 4y8 / esoo
  Like the Programming Languages Zoo but with esoteric languages.
  ☆25Updated 5 years ago
• polytypic / io
  IO should be just a library
  ☆23Updated 2 years ago
• Tim-ats-d / Postem-markup
  Fast and easy notes taking oriented markup language.
  ☆22Updated 3 years ago