Explore projects
-
Updated
-
-
leger / jedi-vim
MIT LicenseUpdated -
Updated
-
Updated
-
This is a centralized passwords manager, using GPG for protection, and allowing shared passwords to groups.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Présentation et rapport sur les SAT solveur portfolio
Updated -
-
-
-
This is the repository for the Network lessons project from Juliusz Chroboczek for the MPRI M1. The protocol is a flooding protocol in order to synchronize some small amount of data.
Updated -
-
Updated
-
Parse les logs du firewall pour effectuer un association mac_ip en ipv6
Updated -
nounous-archives / wikinote
GNU General Public License v3.0 onlyAide à la tenue de comptes sur le wiki
Updated -
Diffrac / coqeffects
GNU General Public License v3.0 onlyA categorical framework for effects in Coq. (L3 internship)
Updated