Alternatives and similar repositories for MPI-LLG:

Users that are interested in MPI-LLG are comparing it to the libraries listed below

• Firobe / 6502-ml
  6502 chip simulator in OCaml
  ☆10Updated 10 months ago
• herbelin / cours-preuves-ordinateur
  Page du cours preuves assistées par ordinateur 2021
  ☆12Updated this week
• coq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆21Updated 3 weeks ago
• Tim-ats-d / Macron
  A powerful keybind library and daemon for Linux.
  ☆10Updated 2 years ago
• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆50Updated 4 years ago
• Psi-Prod / Mehari
  A cross-platform library for building Gemini servers
  ☆37Updated 7 months ago
• andrejbauer / repl-in-browser
  Implementation of a language interpreter in the browser, using js_of_ocaml.
  ☆15Updated 7 years ago
• xavierleroy / cdf-sem-meca
  Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020
  ☆21Updated 9 months ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 3 years ago
• Firobe / nes-ml
  NES emulator in OCaml
  ☆37Updated last year
• francoisthire / bam
  A PBT framework
  ☆9Updated 3 months ago
• affeldt-aist / monae
  Monadic effects and equational reasonig in Coq
  ☆71Updated 3 weeks ago
• logsem / cerise
  Formalisation of a capability machine and principles for reasoning about security properties
  ☆18Updated this week
• mb64 / simple-lambda-prolog
  A simple λProlog interpreter
  ☆20Updated 3 years ago
• ArtichOwO / r86
  r86 is a 8086 real mode programming language which supports segmentation
  ☆16Updated 2 years ago
• thibautbenjamin / catt
  Coherence typechecker for infinity categories
  ☆19Updated 2 weeks ago
• smimram / ocaml-pandoc
  An OCaml library for creating pandoc filters.
  ☆30Updated 3 months ago
• Tim-ats-d / Indigobi
  A cute Gemini client written in OCaml
  ☆15Updated 2 years ago
• Psi-Prod / ppx_system
  ppx_system is a syntax extension to known operating system at compile time
  ☆12Updated last year
• vanilla-extracts / ocaml-baguettesharp-interpreter
  OCaml Implementation of the (famous) Baguette# exotic language, used as TIPE for the 2022,2023 seasons concours
  ☆29Updated last year
• ecranceMERCE / trakt
  A generic goal preprocessing tool for proof automation tactics in Coq
  ☆15Updated last month
• coq-community / coqffi
  Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]
  ☆35Updated last year
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆42Updated 2 months ago
• nobrakal / asak
  Identifying similar OCaml codes
  ☆29Updated 6 months ago
• marc-chevalier / ocolor
  Print with style in your terminal using Format's semantic tags
  ☆19Updated last year
• mp2i-info / mp2i-info.github.io
  Cours d'informatique en MP2I (OCaml, C, SQL)
  ☆43Updated 6 months ago
• thamugadi / call-cc-krivine
  A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.
  ☆14Updated 11 months ago
• ocaml-multicore / par_incr
  Parallel version of incremental library
  ☆19Updated last year
• coq-community / manifesto
  Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
  ☆68Updated 9 months ago
• acorrenson / minilog
  A verified Implementation of a mini prolog
  ☆14Updated 2 years ago