Explore projects

Program logic for developing and verifying distributed systems

This is a centralized passwords manager, using GPG for protection, and allowing shared passwords to groups.

Les pdf et documents utiles du ca

L3 @ ENS Cachan — Programmation 1 — Project: a C-- to x86 compiler (project webpage: http://www.lsv.ens-cachan.fr/~goubault/CoursProgrammation/MiniC1/minicindex.html)

Projet prog 1 L3

A categorical framework for effects in Coq. (L3 internship)

This is a centralized passwords manager, using GPG for protection, and allowing shared passwords to groups.

This is a centralized passwords manager, using GPG for protection, and allowing shared passwords to groups.

This is a centralized passwords manager, using GPG for protection, and allowing shared passwords to groups.

This is a centralized passwords manager, using GPG for protection, and allowing shared passwords to groups.

This is a centralized passwords manager, using GPG for protection, and allowing shared passwords to groups.

M1 @ ENS Cachan — Réseau — Project: exploring the BitTorrent’s DHT (course webpage: http://www.pps.univ-paris-diderot.fr/~jch/enseignement/cachan/)