Alternatives and similar repositories for pedago-rennes

Users that are interested in pedago-rennes are comparing it to the libraries listed below

• herbelin / cours-preuves-ordinateur
  Page du cours preuves assistées par ordinateur 2021
  ☆17Updated 7 months ago
• ecranceMERCE / trakt
  A generic goal preprocessing tool for proof automation tactics in Coq
  ☆15Updated 4 months ago
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated 2 months ago
• rocq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆24Updated last year
• mpelleau / AbSolute
  Constraint solver based on abstract domains
  ☆33Updated last year
• marc-chevalier / ocolor
  Print with style in your terminal using Format's semantic tags
  ☆20Updated 2 years ago
• stevenvar / OCaLustre
  OCaml syntax extension for synchronous programming...
  ☆32Updated 2 years ago
• damien-pous / coinduction
  coinduction library for Coq
  ☆21Updated last month
• xavierleroy / cdf-sem-meca
  Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020
  ☆23Updated last year
• rocq-community / trocq
  A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx]
  ☆27Updated 2 months ago
• ktahar / ocaml-lp
  LP and MIP modeling in OCaml
  ☆29Updated 6 months ago
• OCamlPro / ocplib-simplex
  A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
  ☆16Updated last year
• INRIA / velus
  A Lustre compiler in Coq
  ☆71Updated this week
• xavierleroy / coq2html
  An HTML documentation generator for Coq source files
  ☆31Updated last year
• logsem / cerise
  Formalisation of a capability machine and principles for reasoning about security properties
  ☆25Updated 6 months ago
• nobrakal / asak
  Identifying similar OCaml codes
  ☆30Updated last year
• nathaniel-carre / MPI-LLG
  Ressources pour la classe de MPI* à Louis-le-Grand
  ☆29Updated this week
• umazalakain / session-types-coq
  Formalising session types in Coq
  ☆17Updated 6 years ago
• Armael / pp_loc
  Pretty-printing for error source locations
  ☆36Updated 3 years ago
• arlencox / mlbdd
  A not-quite-so-simple Binary Decision Diagrams implementation for OCaml
  ☆37Updated 3 years ago
• smimram / ocaml-pandoc
  An OCaml library for creating pandoc filters.
  ☆32Updated last year
• jbdoderlein / BetterOCaml
  A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it w…
  ☆42Updated 9 months ago
• Drup / pumping
  Regular languages in types
  ☆21Updated 8 years ago
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆88Updated 4 months ago
• Gbury / ocaml-memgraph
  A small library to output memory graph for ocaml values
  ☆40Updated last year
• xavierleroy / cdf-mech-sem
  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
  ☆70Updated last year
• yforster / coqtheorem
  A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.
  ☆21Updated 6 years ago
• rocq-community / coq-plugin-template
  Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]
  ☆22Updated 2 years ago
• jmid / mutaml
  An OCaml mutation tester
  ☆66Updated last month
• rocq-community / mmaps
  Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]
  ☆11Updated last year