Explore projects

Basic structure for machine learning projects

Specification of persistent storage for causal consistency database

Subject of my Phd thesis.

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.

Uniform precision variant

Algorithms to solve boolean polynomial systems

The BoolEAN POLynomial Evaluation library

migrating old papers from gforge

Additional commands and libraries for inrimage distribution