Explore projects

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

migrating old papers from gforge

stage 2020 : classification de gestes avec le radar Soli

Wiki pour les réunions langage.

A python library for multiprecision Affine Arithmetic

Subject of my Phd thesis.

Short abstract

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

A repository for learning Poincaré ball representation for classification.