Explore projects

Snappy: relier programmation graphique et textuelle

Artifact repository for the paper Opportunistic RV of Multithreaded Programs

Activity recognition using wrist related data

Activity recognition using wrist related data

Population protocols simulator, Simulateur de protocoles de population.

Experiments for the Dietcoin paper. Includes dietcoin-lib as a git submodule.

Fork of bitcoinj-0.14.4 for the Dietcoin paper. Contains library code only.