Explore projects

Coriolis VLSI CAD Tools

Static Timing Analyser

Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html

This is the source code of the 2021 replication for ReScience of the paper "Speedup Graph Processing by Graph Ordering" by Hao Wei, Jeffrey Xu Yu, Can Lu, and Xuemin Lin, published in Proceedings of SIGMOD 2016.

Example Hugo site using GitLab Pages: https://pages.gitlab.io/hugo

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

Coriolis VLSI CAD Tools

Wiki pour les réunions spatiotemp.

Repo for the CNRS School on Explainability

An interactive exploration platform for topic evolution graphs

Test de protocol de consensus c4m

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

Specification of persistent storage for causal consistency database

migrating old papers from gforge