Une petite appli django pour gérer les dépenses de différents groupes. Utilisé pour la trésorerie de la Kolok.

Charte dokker

Scripts utile pour la NoteKfet2020, disponible au sein d'une application django indépendante

Program logic for developing and verifying distributed systems

python module for converting latex math to unicode string

Module pour s'authentifier via la Note Kfet en OAuth avec django-allauth

Acquisition of Type HIerarchies through Corpus Exploration

implémentation de la KAM dans le cadre du stage de L3 (en Ocaml puis en C)

Mirror of re2o upstream project

Useful latex templates