Explore projects
-
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 -
Projet de compilation de Petit Go en OCaml de programmation 1
Updated -
leger / jedi-vim
MIT LicenseUpdated -
Valentin Samir / pyprocmail
GNU General Public License v3.0 onlyA full pythonic python procmailrc parser to an abstract syntax tree to procmailrc file syntax
Updated -
This is a centralized passwords manager, using GPG for protection, and allowing shared passwords to groups.
Updated -
-
-
rv routing engine. New implementation. With lmdb storage backend. Routing on the graph on edges.
Updated -
Updated
-
Updated
-
Parse les logs du firewall pour effectuer un association mac_ip en ipv6
Updated -
Updated
-
Updated
-
L3 @ ENS Cachan — Programmation 2 — Project: Enigma machine & Enigma bombe (course webpage: http://www.lsv.ens-cachan.fr/~baelde/prog2/)
Updated -
Updated
-
-
nounous-archives / Openwrt Chaos Calmer Dev Edition 2015
GNU General Public License v2.0 or laterProjet Spécial pour les Uap Pros ainsi que les Pico-old
Updated