Explore projects
-
M2 @ ENS Cachan / MPRI — Functional Programming (2-4) — Project: compiling a functional language down to C, through a CPS translation and defunctionalization
Updated -
-
Updated
-
Updated
-
RV routing engine and herve the frontend
Updated -
Updated
-
-
-
Updated
-
themes beamer pour l'ENS et le crans
Updated -
Script to sync ownertrust, keyring, local-sigs, and config between machines. Allow to download keys which may appear in keyring.
Updated -
-
A fork of https://github.com/ypsu/latex-to-unicode. Adding combinings, fractions, and unicode NFC normalization.
Updated -
-
-
C++ CLI program for doing variationnal EM inference of parameters of Stochastic Block Model
Updated -
-
This is a centralized passwords manager, using GPG for protection, and allowing shared passwords to groups.
Updated -
-