Explore projects

Automatic transformation of C source codes for usage with Cadna

Control of accuracy and debugging for Fortran applications

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

Control of accuracy and debugging for Python applications

RankMerging version in C++ as coded by Dan Timsit in 2024.

The BoolEAN POLynomial Evaluation library

PCCMerge: a parallel method based on merging partial connected components in large graphs

A decentralized learning research framework