Explore projects

Multivariate polynomial system solver

This is a tool intended to monitor the GPU usage on the various GPU-servers at the LIP6 Lab, Paris

kit of operating system for educational purpose

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.

Just a test

Encode unicode strings in a silly way, based on glounicode

A tool to visualize 2D vector fields

A python library for multiprecision Affine Arithmetic

Supplementary material for the paper "Deep Neural Networks Under Stress", ICIP 2016