Explore projects

Coriolis VLSI CAD Tools

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

kit of operating system for educational purpose

Static Timing Analyser

Automatic identification of instructions responsible for numerical instabilities in a source code

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

Control of accuracy and debugging for Fortran applications

The BoolEAN POLynomial Evaluation library

Additional commands and libraries for inrimage distribution

INRIMAGE is a software dedicated to image processing

Algorithms to solve boolean polynomial systems