Explore projects

Control of accuracy and debugging for C/C++ and Fortran applications

Alliance/Coriolis Toolkit & Checker contain various design flow examples, blocks or full chips. It is also used as a regression test for all the tools.

The bulk of the code developed during my PhD thesis « Efficient multiword matrix product algorithm using floating-point arithmetic over finite prime fields » (not yet defended/nor published).

An unofficial LIP6 Beamer template for typesetting slides in LaTeX

A usage example of the unofficial LIP6 Beamer theme at https://gitlab.lip6.fr/felsoci/beamerthemelip6

Package recipes of GNU Guix for the software of the PEQUAN team at LIP6