The BoolEAN POLynomial Evaluation library

Special version of the M4RI library for the PPAR class.

Multivariate polynomial system solver

Algorithms to solve boolean polynomial systems

A tool to visualize 2D vector fields

A blockgraph for mesh networks

INRIMAGE is a software dedicated to image processing

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.

Implementing deep reinforcement learning algorithms for the ICGA competition.