Explore projects

Coriolis VLSI CAD Tools

Alliance VLSI EDA. A complete set of GPL tools to design an ASIC.

The BoolEAN POLynomial Evaluation library

Static Timing Analyser

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

Algorithms to solve boolean polynomial systems

kit of operating system for educational purpose

http://public.algo-prog.info/journees-franciliennes-de-programmation.org/

Control of accuracy and debugging for C/C++ and Fortran applications

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