Projets

Le code sur lequel je travaille, entre formalisation académique et logiciels généraux. Chacun renvoie à son dépôt GitHub.

Académique

Lean 4 · GitHub ↗

Une formalisation des corps quadratiques en Lean 4.

Rust · GitHub ↗

Un outil en ligne de commande pour interroger la LMFDB (base de données des fonctions L et des formes modulaires).

Rust · GitHub ↗

Un lecteur RSS IA-natif et compatible Web3 pour les flux d'information du web ouvert.

Shell · GitHub ↗

Un ensemble de compétences d'agent réutilisables pour les assistants de code IA.