Explore projects

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

Powerpoint and beamer template for MLIA/LIP6 using Sorbonne Université style

Coriolis VLSI CAD Tools

migrating old papers from gforge

Algorithms to solve boolean polynomial systems

Static Timing Analyser

Repo for the CNRS School on Explainability