Explore projects
-
-
-
-
Updated
-
Archived 1Updated
-
Diffrac / coqeffects
GNU General Public License v3.0 onlyA categorical framework for effects in Coq. (L3 internship)
Updated -
Parse les logs du firewall pour effectuer un association mac_ip en ipv6
Updated -
Updated
-
Updated
-
nounous-archives / OpenWrt-Barrier-breaker
GNU General Public License v2.0 or laterMigration vers BB.
Updated -
Projet de compilation de Petit Go en OCaml de programmation 1
Updated -
-
Lucas Serrano / OpenWrt-Barrier-breaker
GNU General Public License v2.0 or laterMigration vers BB.
Updated -
Leo Colisson / OpenWrt-Barrier-breaker
GNU General Public License v2.0 or laterMigration vers BB.
Updated -
Senizergues-Pommeret / ITPP
GNU General Public License v3.0 onlyUpdated -
rv routing engine. New implementation. With lmdb storage backend. Routing on the graph on edges.
Updated -
This is a centralized passwords manager, using GPG for protection, and allowing shared passwords to groups.
Updated -
L3 @ ENS Cachan — Programmation 1 — Project: a C-- to x86 compiler (project webpage: http://www.lsv.ens-cachan.fr/~goubault/CoursProgrammation/MiniC1/minicindex.html)
Updated -
M1 @ ENS Cachan — Réseau — Project: exploring the BitTorrent’s DHT (course webpage: http://www.pps.univ-paris-diderot.fr/~jch/enseignement/cachan/)
Updated