jwiegley

Un ensemble de scripts aléatoires que j'ai écrits, téléchargés ou extraits de #git.

Bibliothèque simple pour le traitement asynchrone dans Emacs

Introduction à l'architecture et à la conception du gestionnaire de contenu Git

Formalisation de la théorie des catégories sans axiomes dans Coq pour l'étude personnelle et le travail pratique.

Mon fichier .emacs.el et autres outils personnels pour Emacs