Explore projects

A tool to visualize 2D vector fields

Specification of persistent storage for causal consistency database

Uniform precision variant

Mixed precision variant

Subject of my Phd thesis.

migrating old papers from gforge

Multivariate polynomial system solver

Algorithms to solve boolean polynomial systems

Basic structure for machine learning projects

Special version of the M4RI library for the PPAR class.