Explore projects

python module for converting latex math to unicode string

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

Differential Privacy applied to Crowd Density Estimation. Report and work during my M1 internship with E. Aldea.

Program logic for developing and verifying distributed systems

Migration vers BB.

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

Crans configuration files.

M2 @ ENS Cachan / MPRI — Constraint Programming (2-35-1) — Project: generating non-transitive dice cycles in Prolog

Crans scripts