Alternatives and similar repositories for mpri-2.4-projet-2022-2023:

Users that are interested in mpri-2.4-projet-2022-2023 are comparing it to the libraries listed below

• verse-lab / ego
  EGraphs in OCaml
  ☆64Updated last year
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆54Updated last year
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• LaurentMazare / ocaml-matplotlib
  Plotting for ocaml based on matplotlib.pyplot
  ☆33Updated 2 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 10 months ago
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆31Updated 4 years ago
• INRIA / zelus
  A synchronous language with ODEs
  ☆51Updated this week
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• acorrenson / SATurne
  Tiny verified SAT-solver
  ☆27Updated 3 years ago
• janestreet / ppx_python
  ARCHIVED. [@@deriving] plugin to generate Python conversion functions
  ☆34Updated 5 months ago
• adrieng / pulsar
  Experimental functional language
  ☆17Updated 2 years ago
• c-cube / sidekick
  A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
  ☆24Updated 2 months ago
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• siddhartha-gadgil / lean-loris
  Experiments with some ways of automating reasoning in lean 4
  ☆16Updated last year
• prismlab / verified_ocaml_gc
  For Jar artifacts
  ☆14Updated 2 months ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆101Updated last year
• imdea-software / htt
  Hoare Type Theory
  ☆74Updated 2 weeks ago
• rocq-community / topology
  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
  ☆47Updated 6 months ago
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 3 years ago
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated last year
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆34Updated 3 years ago
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆65Updated 2 weeks ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• GaloisInc / lean-protocol-support
  This project contains various supporting libraries for lean to reason about protocols.
  ☆43Updated 7 years ago
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆69Updated last month
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 8 years ago
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 4 years ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 5 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 3 months ago