an OCaml library for Project Euler (mostly an arithmetic library)

Dépôt bcfg2 du Crans.

Mirror of re2o upstream project

Code de l'interface Django de la Note Kfet 2015

My personal config files.

Les scripts pour le wei 2018

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

Crans scripts

~/bin/

Formalisation en Coq des algèbres extérieures pour mathematical-components (https://github.com/math-comp/math-comp), et preuve d'un isomorphisme entre les algèbres extérieures et les formes multilinéaires alternées.