Explore projects
-
Updated
-
Updated
-
-
Updated
-
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 -
-
-
-
This is a centralized passwords manager, using GPG for protection, and allowing shared passwords to groups.
Updated -
Updated
-
M2 @ ENS Cachan / MPRI — Constraint Programming (2-35-1) — Project: generating non-transitive dice cycles in Prolog
Updated -
leger / clustering_methods_comparison
CeCILL-B Free Software License AgreementUpdated -
Updated
-
-
Updated
-
L3 @ ENS Cachan — Programmation OO/Scala — Project, part. 1: the Minesweeper game (course webpage: http://econtal.perso.math.cnrs.fr/teaching/)
Updated -
Updated
-
-