migrating old papers from gforge

Basic structure for machine learning projects

Specification of persistent storage for causal consistency database

Subject of my Phd thesis.

Additional commands and libraries for inrimage distribution

kit of operating system for educational purpose

Implementing deep reinforcement learning algorithms for the ICGA competition.

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.

A blockgraph for mesh networks

A tool to visualize 2D vector fields

Algorithms to solve boolean polynomial systems

Multivariate polynomial system solver

Special version of the M4RI library for the PPAR class.