Explore projects

Multivariate polynomial system solver

Algorithms to learn Atoms Network model based on learning subset of labels

This is the source code of the 2021 replication for ReScience of the paper "Speedup Graph Processing by Graph Ordering" by Hao Wei, Jeffrey Xu Yu, Can Lu, and Xuemin Lin, published in Proceedings of SIGMOD 2016.

PyTorch implementation of SPDNet for second order neural networks

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.

Here is the code presented in the article A Compliance Mechanism for Planning in Privacy Domain Using Policies

Just a test

Encode unicode strings in a silly way, based on glounicode

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

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