python module for converting latex math to unicode string

Crans scripts

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

Crans configuration files.

Statuts et règlement intérieur de l'Amicale. Le règlement intérieur est dans la branche ri.

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

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

M1 @ ENS Cachan — Réseau — Project: exploring the BitTorrent’s DHT (course webpage: http://www.pps.univ-paris-diderot.fr/~jch/enseignement/cachan/)

MP★ @ Clemenceau — the source code of my TIPE (scholar work for the French Grandes Écoles’ recruitment exams)

A Django Central Authentication Service server implementing the CAS Protocol 3.0 Specification

Crans configuration files.

rv routing engine. New implementation. With lmdb storage backend. Routing on the graph on edges.

rv routing engine. New implementation. With lmdb storage backend. Routing on the graph on edges.

Git repository for Share, a django app helping managing expenses between housemates.

Partie Coq du projet logique de 2017

RV routing engine and herve the frontend