Explore projects

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

The BoolEAN POLynomial Evaluation library

Bibliography related to the post-doc of Marek Felšöci

Test de protocol de consensus c4m

Control of accuracy and debugging for C/C++ applications relying on fixed-point arithmetic

Control of accuracy and debugging for CUDA applications

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

Control of accuracy and debugging for Fortran applications

Automatic transformation of C source codes for usage with Cadna

Control of accuracy and debugging for Python applications

Automatic identification of instructions responsible for numerical instabilities in a source code

This repository provides a template to generate webpages for the team of Matthieu Cord.

Python code for online version of pks generation algorithm