L’essentiel de ce que je fabrique est du code, et l’essentiel de ce code n’est pas sur GitHub. Je suis développeur full-stack : j’ai construit deux réseaux sociaux et une plateforme de trading de bout en bout, en Rails, Django et Laravel, et ce travail vit dans des dépôts privés. Ce qui est public est sur GitHub sous le nom sneakyweasel : 31 projets à moi et 25 forks dont je suis parti, depuis 2011, surtout les projets de recherche et les projets annexes décrits sur les autres pages.

N’hésitez pas à me contacter !

🏗 Full-stack, dans des dépôts privés

Deux réseaux sociaux et une plateforme de trading, chacun construit de bout en bout, en Ruby on Rails, Django et Laravel. Ils vivent dans des dépôts privés, c’est pourquoi ils n’apparaissent pas ci-dessous.

🧰 Langages

Sur le travail full-stack : Ruby, Python et PHP côté serveur, TypeScript et JavaScript côté client, SQL en dessous. Sur les dépôts publics, au poids en octets : Python loin devant, puis Lean 4, JavaScript et TypeScript avec Vue, HTML et CSS, LaTeX, des carnets Jupyter, et de plus petites quantités de Rust, Ruby, C++, CUDA et GLSL. En pratique : Python pour le code de recherche, TypeScript et Vue pour les interfaces, Lean 4 avec Mathlib pour les preuves, Rust quand la vitesse compte, CUDA quand une recherche doit tourner sur le GPU.

🔢 Théorie des nombres et preuve formelle

  • btlab - le laboratoire de ternaire équilibré : arithmétique exacte, les programmes Juggler et 3n−1, une couche formelle Lean 4 + Mathlib et un vérificateur CUDA (Python, Lean, LaTeX, CUDA). Voir Maths.
  • WarpPrimes - le générateur derrière mes suites de l’OEIS, avec une spirale d’Ulam en D3 (Python, JavaScript)
  • padic-rust et padic-ts - des bibliothèques de nombres p-adiques en Rust et en TypeScript
  • Euler et DNA - Project Euler en Ruby, la bio-informatique de Rosalind en Python

⚛️ Quantique

  • quantumweasel - une simulation d’optique quantique légère sur le moteur quantum-tensors (TypeScript)
  • photon et quantum-photon-vue - visualisation d’états de photons en D3, puis en composant Vue autonome
  • QuantumDisplay et ComingSoonQuantum - amorce front-end et page d’attente de Quantum Game 2 au CQT ; le jeu lui-même est Quantum-Game/quantum-game-2, construit sur quantum-tensors
  • genetic-quantum-correction - un algorithme génétique pour les casse-têtes de Decodoku sur le code torique, cité dans Phys. Rev. A (JavaScript). Voir Quantique.
  • quantum-loom - tressage d’anyons : construire les portes manquantes d’un ordinateur quantique universel à partir de quasi-particules tressées, avec le moins de tresses possible (JavaScript)
  • quintessence - MIT iQuHACK 2023 : une recherche par marche quantique sur du matériel IonQ alimentant un pipeline génératif (Jupyter, Python, Vue)

🤖 IA et agents

🔐 Cybersécurité

  • hhhhh - un outil d’attaque par extension de longueur de hachage, construit pour le CTF de la DGA (Python), le versant pratique de l’habitude des CTF et du bug bounty

🩺 Matériel libre pour la Covid-19

  • COVID et COVID-FR - la liste des projets de matériel médical d’urgence open source rassemblée au début de la pandémie, maintenue aujourd’hui sur AmisDesMalades/COVID
  • Respirateur-COVID - un prototype de respirateur d’urgence construit autour d’un ballon Ambu
  • OpenICU - des idées pour une unité de soins intensifs à bas coût et de haut niveau

🎮 Jeux, graphisme et visualisation

🌐 Web et outillage