Explore projects

Sniff UWB packet

DW1000 driver

Automatic speculative POLyhedraL Loop Optimizer

Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms

Python wrappers for the vt library

An unstructured collection of Jasmin programs, of unknown quality, meant for illustration.

Deep Neural Architecture for DNA.