Explore projects

Control of accuracy and debugging for Python applications

Porting of Skip-Thoughts pretrained models from Theano to Torch7 (Retwitted by Yann LeCun :D)

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

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

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.

Coriolis VLSI CAD Tools

Static Timing Analyser

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

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