Explore projects

Magma implementations for the EUROCRYPT'13 paper "Graph-Theoretic Algorithms for the Isomorphism of Polynomials problem"

Coriolis VLSI CAD Tools

Repo for the CNRS School on Explainability

An interactive exploration platform for topic evolution graphs

Coriolis VLSI CAD Tools

Corrigé du TME sur le calcul de π à grande précision

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.

Specification of persistent storage for causal consistency database