Software

Tout ici est open source, sous licence MIT, et construit au grand jour. Quelques projets que j'ai réalisés pour comprendre comment ils fonctionnent en dessous.

whispem-lang — un langage qui se compile lui-même

Dépôt →

Un petit langage de programmation auto-hébergé. Le compilateur est écrit en Whispem lui-même, se compile lui-même, et produit un résultat identique bit pour bit à l'implémentation de référence en Rust — un point fixe stable, vérifié par un bootstrap reproductible. Il tourne sur une VM C autonome, sans autre dépendance qu'un compilateur C.

Rust · C · conception de langages · compilateurs

minikv — un magasin clé-valeur & objet distribué

Dépôt →

Un magasin clé-valeur et objet distribué en Rust, entièrement construit au grand jour — d'abord mono-nœud, puis réécrit en système distribué complet. Pensé pour comprendre le système plutôt que courir après les chiffres bruts.

Rust · systèmes distribués · consensus · stockage

sussurro.cpp — traduction neuronale hors ligne, à partir de zéro

Dépôt →

Un interprète voix-à-voix hors ligne entre l'anglais, l'espagnol, le français et l'italien. J'ai réimplémenté l'inférence des modèles de traduction neuronale Marian / OPUS-MT à partir de zéro sur ggml — des Transformers encodeur-décodeur tournant entièrement sur l'appareil, sans serveur ni réseau à l'exécution.

C++ · ggml · inférence ML · Transformers

asm.kvstore — un magasin clé-valeur en assembleur pur

Dépôt →

Un magasin clé-valeur en réseau écrit en assembleur x86-64 pur — sans libc, uniquement des appels système. Construit pour voir à quoi ressemble un serveur une fois toute abstraction retirée.

assembleur x86-64 · systèmes · réseau · appels système

dprism — profilage de données en terminal

Dépôt →

Un outil de profilage de données en terminal, écrit en Rust — htop rencontre pandas-profiling. Explorez instantanément des jeux de données de plusieurs gigaoctets sans quitter le shell. Construit avec Polars et Ratatui.

Rust · outillage data · Polars · TUI


D'autres projets — dont quelques-uns écrits par pur plaisir — vivent sur GitHub.