Explore projects

Additional commands and libraries for inrimage distribution

Mixed precision variant

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

Code accompanying the paper Strategic Candidacy Equilibria for Common Voting Rules. Jérôme Lang, Nicolas Maudet, Maria Polukarov, Alice Cohen-Hadria. Theory of Computing Systems. Vol. 69, Number 23. 2025

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.

Here is the code presented in the article A Compliance Mechanism for Planning in Privacy Domain Using Policies

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

An unofficial LiP6 Beamer template for typesetting slides in LaTeX.

Just a test with gitlab