Explore projects

Coriolis VLSI CAD Tools

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

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

Algorithms to solve boolean polynomial systems

INRIMAGE is a software dedicated to image processing

The BoolEAN POLynomial Evaluation library

Multivariate polynomial system solver

Static Timing Analyser

A tool to visualize 2D vector fields