Explore projects

M2 @ ENS Cachan / MPRI — Functional Programming (2-4) — Project: compiling a functional language down to C, through a CPS translation and defunctionalization

Gestion des digicodes (back et front end)

RV routing engine and herve the frontend

Scripts de la colloc

Crans configuration files.

themes beamer pour l'ENS et le crans

Script to sync ownertrust, keyring, local-sigs, and config between machines. Allow to download keys which may appear in keyring.

Bot discord pour le serveur de IP7.

A fork of https://github.com/ypsu/latex-to-unicode. Adding combinings, fractions, and unicode NFC normalization.

Crans scripts

Generate RSA GPG keys with same short ID and a close fingerprint.

C++ CLI program for doing variationnal EM inference of parameters of Stochastic Block Model

My configuration files

This is a centralized passwords manager, using GPG for protection, and allowing shared passwords to groups.

Repository for my intership during M1

Crans scripts