Explore projects
-
M1 @ ENS Cachan — Systèmes synchrones (MPRI 2-23-1) — Project: a model checker for MiniLustre (course webpage: http://www.di.ens.fr/~pouzet/cours/mpri/)
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 -
L3 @ ENS Cachan — Programmation 2 — Project: Enigma machine & Enigma bombe (course webpage: http://www.lsv.ens-cachan.fr/~baelde/prog2/)
Updated -
L3 @ ENS Cachan — Programmation OO/Scala — Project, part. 1: the Minesweeper game (course webpage: http://econtal.perso.math.cnrs.fr/teaching/)
Updated -
L3 @ ENS Cachan — Programmation logique — Project, part. 1: a solver for the Reflexion game (course webpage: http://www.lsv.ens-cachan.fr/~schwoon/enseignement/projet-logique/2015/)
Updated -
L3 @ ENS Cachan — Programmation 1 — TP3: the “Four In a Row” game, including an AI (course webpage: http://www.lsv.ens-cachan.fr/~hirschi/prog1.php)
Updated -
This is a centralized passwords manager, using GPG for protection, and allowing shared passwords to groups.
Updated -
nounous-archives / Openwrt Chaos Calmer 01_2016
GNU General Public License v2.0 or laterUpdated -
Updated
-
Updated
-
-
Updated
-
-
-
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 -
Myriam Begel / InterroVoc
Do What The F*ck You Want To Public LicenseApplication pour enregistrer son vocabulaire et être intérrogé dessus avec mode multi-langue possible.
Updated -
-
Updated
-
-
Updated