Explore projects

The Infrared bookchapter (for Ronny)

Concurrent Separation Logic for Multicore OCaml

Itauto: an Extensible Intuitionistic SAT Solver

PhD thesis LaTeX template for the 11 doctoral schools in Brittany and Pays de Loire. Project initiated by former PhD students at the MathSTIC doctoral school in collaboration with the doctoral school.

The LocARNA 2.0 bookchapter (for Ronny)

The AIDE project software development bundle

Coq formalization of Tes.

Generates a bibliography for our website.

Differential equations simulation representing Salmonella infection

Transmorpher is a software environment for defining and processing complex transformations of XML documents.

Adaptive Grid Refinement In Fortran

Bibliography collection

Binary analysis program. Looks at a CFG and analyzes its bits.