Explore projects

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.

Des scripts qui simplifient la vie, utiles à tout le monde et commentés proprement afin que chacun puisse les adapter à ses besoins.

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.

Imprimante thermique Crans

Imprimante thermique Crans

Imprimante thermique Crans