Code

Most of what I make is code, and most of it is not on GitHub. I am a full-stack developer: I have built two social networks and a trading platform end to end, in Rails, Django and Laravel, and that work lives in private repositories. What is public is on GitHub as sneakyweasel: 31 projects of my own and 25 forks I worked from, since 2011, mostly the research and side projects described on the other pages.

Feel free to contact me!

🏗 Full-stack, in private repositories

Two social networks and a trading platform, each built end to end, in Ruby on Rails, Django and Laravel. They live in private repositories, which is why they do not appear below.

🧰 Languages

Across the full-stack work: Ruby, Python and PHP on the server, TypeScript and JavaScript on the client, SQL underneath. Across the public repositories, by byte weight: Python first by far, then Lean 4, JavaScript and TypeScript with Vue, HTML and CSS, LaTeX, Jupyter notebooks, and smaller amounts of Rust, Ruby, C++, CUDA and GLSL. In practice: Python for research code, TypeScript and Vue for interfaces, Lean 4 with Mathlib for proofs, Rust when speed matters, CUDA when a search has to run on the GPU.

🔢 Number theory and formal proof

• btlab - the balanced ternary laboratory: exact arithmetic, the Juggler and 3n−1 programmes, a Lean 4 + Mathlib formal layer and a CUDA verifier (Python, Lean, LaTeX, CUDA). See Math.
• WarpPrimes - the generator behind my OEIS sequences, with a D3 Ulam spiral (Python, JavaScript)
• padic-rust and padic-ts - p-adic number libraries in Rust and in TypeScript
• Euler and DNA - Project Euler in Ruby, Rosalind bioinformatics in Python

⚛️ Quantum

• quantumweasel - a slim quantum optics simulation on the quantum-tensors engine (TypeScript)
• photon and quantum-photon-vue - photon-state visualisation in D3, then as a standalone Vue component
• QuantumDisplay and ComingSoonQuantum - front-end bootstrap and landing page for Quantum Game 2 at CQT; the game itself is Quantum-Game/quantum-game-2, built on quantum-tensors
• genetic-quantum-correction - a genetic algorithm for the Decodoku toric-code puzzles, cited in Phys. Rev. A (JavaScript). See Quantum.
• quantum-loom - anyon braiding: building the missing gates of a universal quantum computer from braided quasi-particles with as few braids as possible (JavaScript)
• quintessence - MIT iQuHACK 2023: a quantum-walk search on IonQ hardware feeding a generative pipeline (Jupyter, Python, Vue)

🤖 AI and agents

• genetic-growth - embryology-inspired growth encoded as a small opcode “DNA”, run tick by tick on a Voronoi tissue (TypeScript)
• open-catholic - the Catechism of the Catholic Church converted to Markdown with internal links, as a readable text and a retrieval corpus
• mimic-octopus - a 2015 chat bot on Hubot, my first “axiomatic philosophical AI”
• Worked from: Auto-GPT, a personal GPT Telegram bot, a16z’s AI companions with memory, Stable Diffusion textual inversion, TensorFlow object detection on a Raspberry Pi, an LSTM trading model and OpenNFB neurofeedback

🔐 Cybersecurity

• hhhhh - a hash length-extension attack tool built for the DGA CTF (Python), the practical side of the CTF and bug-bounty habit

🩺 Covid-19 open hardware

• COVID and COVID-FR - the list of open-source emergency medical hardware projects gathered at the start of the pandemic, now kept at AmisDesMalades/COVID
• Respirateur-COVID - an emergency ventilator prototype built around an Ambu bag
• OpenICU - ideas for a low-cost, high-grade intensive care unit

🎮 Games, graphics and visualisation

• GameOfFire - the Quanta Magazine tribute to Conway (Vue, TypeScript)
• HoloWeasel - a Looking Glass holographic display driven with Three.js and WebGL shaders (JavaScript, GLSL)
• ts-grid - a TypeScript port of Red Blob Games’ grid parts: square, triangle and hexagonal grids with their edges, vertices and tiles
• Worked from: the Game of Life in Vue 2 and in Rust and WebAssembly, particle-life, the Rust tactics game zemeroth, a minesweeper Vue component, Bret Victor’s Alligator Eggs lambda calculus, and OpenRelativity

🌐 Web and tooling

• sneakyweasel.github.io - this site, Jekyll on GitHub Pages
• rails-devise-pundit - Rails authentication and authorisation boilerplate
• Worked from: a TypeScript library starter, the React, Redux and TypeScript guide, hubot-meteorchat, vim-sneak, a pure-Python Held-Karp and Tom Stuart’s Programming with Nothing