Explore projects

A Coq port of FIRRTL

Export Jupyter notebook presentations with custom CSS.

Miscellaneous files for the GNU MPFR group: web site, etc.

A simple test platform for Comet

cv in typst with auto build and release

Robot Framework implementation of a Test Engine able to run MLang tests.

Code for the manuscript L. Lemaire, M. Desroches, S. Rodrigues, F. Campillo "Depolarization block induction via slow NaV1.1 inactivation in Dravet syndrome"

Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.

Course on Privacy on Internet

A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.

CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.

An LR(1) parser generator for OCaml.