Explore projects

Basic structure for machine learning projects

Specification of persistent storage for causal consistency database

A blockgraph for mesh networks

Multivariate polynomial system solver

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.

Subject of my Phd thesis.

migrating old papers from gforge

Algorithms to solve boolean polynomial systems

INRIMAGE is a software dedicated to image processing

Additional commands and libraries for inrimage distribution

A tool to visualize 2D vector fields

Implementing deep reinforcement learning algorithms for the ICGA competition.