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

The BoolEAN POLynomial Evaluation library

Algorithms to solve boolean polynomial systems

INRIMAGE is a software dedicated to image processing

Static Timing Analyser

Special version of the M4RI library for the PPAR class.

kit of operating system for educational purpose

Additional commands and libraries for inrimage distribution