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