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)

Vers une étude scientifique expérimentale reproductible avec Guix

Differential equations simulation representing Salmonella infection

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

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

An experimental study based on the test_FEMBEM solver

Towards a reproducible research study

An experimental study based on the test_FEMBEM solver using Guix for the management of its software environment