Explore projects

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

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