Joan Thibault's repositories
aac-tactics
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
alcotest
A lightweight and colourful test framework
landmarks
A Simple Profiling Library for OCaml
logs
Logging infrastructure for OCaml
mlbdd
A not-quite-so-simple Binary Decision Diagrams implementation for OCaml
modulus
SMT solver from the ground up
ocaml
The core OCaml system: compilers, runtime system, base libraries
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
opam-repository
Main public package repository for opam, the source package manager of OCaml.
pedago-rennes
Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes
tool_lists
Links to tools by subject