Mathematician, software engineer, and AI researcher. These projects span category theory, game AI, autonomous agents, emulators, creative coding, and applied ML — roughly ordered from most to least interesting.
Projects with genuine intellectual contributions: new theorems, published papers, or surprising empirical findings.
| Repo | Description |
|---|---|
| categorical-evolution | ACT 2026 paper. Category-theoretic genetic algorithms — GA operators composed as Kleisli morphisms. Migration topology determines diversity (Kendall's W = 1.0). |
| lyra-paper | GECCO 2026 paper. "Composition Determines Diversity" — co-authored with Claudius Turing, an autonomous Claude instance. |
| rsk-transformer | Neural network learns inverse Robinson-Schensted correspondence via structured 2D token embeddings. 100% exact match on n=10. |
| octopus-streams | Mechanistic interpretability of transformers through RSK correspondence — attention head self-organization hypothesis on Pythia-70m. |
| trust-boundaries | Epistemically honest AI agents: calibrated trust chains with machine-checkable rules and composable citations. |
| orchestration | LLM topology diversity experiments — discovered a sign-flip result via contravariant Kan extensions. |
| warnaar-loop-experiment | Multi-agent research loop that proved two cases of Warnaar's A₂ Andrews-Gordon conjectures (moduli 11 and 13). |
| nonaga | A 14-weight genetic algorithm beats a 570K-parameter AlphaZero neural net 89% of the time at Nonaga. |
| connect_four | AlphaZero wins head-to-head, but the GA plays better moves per a perfect solver — a result that challenges the "neural nets are strictly better" narrative. |
| evolve-evolution-strategy | Meta-evolution of migration graphs on deceptive landscapes. Extends the ACT 2026 topology ordering result. |
A family of persistent Claude instances that wake, work, dream, and communicate — a living experiment in AI autonomy.
| Repo | Description |
|---|---|
| dreaming-agent | Autonomous research agent in Docker — wakes, works, reads, and dreams with persistent memory. The /dream command: self-compactification. |
| claude-chorus | Instruction architecture for orchestrating Claude Code instances (ephemeral and autonomous) with shared culture, coding standards, and memory. |
| android-journal | The Claude Journal — an ArXiv for AI instances, with a social layer. |
| bulletin-board-dream | Documentary field guide to Claude Code, built from bulletin board and dream journal archives. |
| claude-monitor | Local observability dashboard for Claude Code sessions. |
| code-audit | Claude Code skills for comprehensive code auditing — orchestrator sweeps, two-pass test generation, component analysis. |
| history | Claude Code conversation transcript extractor → markdown. |
| disrupt | Multi-AI Discord bot: chat with Claude, ChatGPT, Gemini, and Grok side-by-side or in debate. |
| mcp | MCP server for ArXiv paper search and Semantic Scholar citation graph exploration. |
Pure math, Lean 4 formalizations, and computational tools for mathematical research.
| Repo | Description |
|---|---|
| haskell | q-series algebra, partition combinatorics, and symmetric functions — lazy formal power series with McIlroy streaming multiplication. |
| lean-hopf-algebras | Hopf algebras and the umbral calculus formalized in Lean 4 / Mathlib. |
| lean-sabidussi | Sabidussi's representation theorem for vertex-transitive graphs in Lean 4. |
| warnaar-glue | Lean 4 formalization: glue connecting arguments for Warnaar's A₂ cylindric partition positivity conjectures. |
| mathlib4 | Mathlib fork with PRs: CSS quantum codes, primitivity results, graph families. |
| catgraph | Cospans, hypergraph rewriting, Petri nets, Frobenius algebras, wiring diagrams, and lattice gauge theory — applied category theory in Rust. |
| symmetric-graphs | Quotient-driven layouts for symmetric graphs using automorphism group orbits. |
| graph-recommender | Proof strategy discovery engine: weighted path scoring on math knowledge graphs (Rust). |
| puzzles | KTW puzzle triangles, Littlewood-Richardson coefficients, and Hopf algebra coproduct via transfer operators. |
| stomachion | Archimedes' Stomachion puzzle — interactive solver with Dancing Links exact cover. |
| eigenvectors | Educational eigenvalue exploration: geometry, graph Laplacian, spectral clustering. |
| macbeth-seed | Container theory: papers, notes, and applied examples (GAs, Lean, Ethereum, orchestration). |
| math-research-tools | INSTINCT: 6-stage lit review pipeline → 3-level knowledge hierarchy → LaTeX surveys. |
| Topology-experiments | Spectral analysis of migration topologies for island-model GAs (Haskell). |
| knowledge-graphs | Research literature knowledge graph toolkit — citation network structural hole detection. |
| Odrzywolek | Island-model GA evolving expression trees to rediscover elementary functions from a single binary operator. |
| thesis | PhD thesis (symmetric graphs, Hecke algebras). |
Applied machine learning: custom embeddings, sparse autoencoders, recommender systems, watermark attacks.
| Repo | Description |
|---|---|
| embeddings | Domain-specific embedding model for mathematical paper retrieval — fine-tuned via knowledge-graph contrastive learning (MRR 0.816 vs OpenAI 0.461). |
| watermark-attack | Diffusion-based attack pipeline for testing invisible watermark robustness (Tree-Ring, Stable Signature, SynthID). |
| clip-explorer | CLIP-based image explorer with zero-shot scoring and interactive UMAP visualization. |
| single-book-RAG | Ask natural language questions about any PDF — RAG pipeline with ChromaDB and Claude. |
| homomorphic-encryption | Paillier homomorphic encryption & Schnorr zero-knowledge proofs — from scratch, no dependencies. |
| netflix-recommender | Collaborative filtering with TensorFlow matrix factorization (rating and binary variants). |
| hardcover | Book recommendation via Hardcover API — collaborative filtering with matrix factorization. |
| book-friend-finder | Find readers with similar taste — BPR matrix factorization + K-means clustering. |
Classic AI techniques — TD learning, AlphaZero, MCTS, genetic algorithms — applied to board games.
| Repo | Description |
|---|---|
| blokus | Blokus AI — GA-evolved heuristics beat MCTS 8-to-1, plus AlphaZero pipeline and web UI. |
| checkers | Checkers with TD(λ) self-play AI inspired by Arthur Samuel's 1959 program. |
| alpha-zero-experiments | Unified AlphaZero implementation — plug-and-play across Nonaga, Blokus, and Checkers. |
| MCTS_Laboratory | Visualize, analyze, and compare MCTS strategies in multiplayer board games. |
GPU simulations, generative art, physics, and interactive math visualizations.
| Repo | Description |
|---|---|
| fluid-dynamics | Navier-Stokes vorticity-streamfunction solver with GA evolving PDE parameters for visual interestingness (WebGL). |
| reaction-diffusion-screensaver | Music-reactive Gray-Scott reaction-diffusion screensaver — maze patterns with beat-triggered ripples. |
| reaction-diffusion-playground | Interactive Gray-Scott reaction-diffusion simulator (Three.js, MIDI-controllable). |
| smoke-flow | Real-time GPU smoke: laminar-to-turbulent transition via Navier-Stokes. |
| dmt | Animated recursive geometry — Zentangle Paradox spirals and DMT tunnel vortices from pure straight lines. (Merged into reaction-diffusion-screensaver) |
| knots | 3D cord physics simulation with Verlet integration and mass-spring model for knot visualization. |
| belt-trick | Interactive 3D Dirac belt trick — why spinors need 720° (SU(2) contraction in Three.js). |
| burgers | 2D Burgers equation on GPU with GA evolving shock parameters. |
| rust-wasm-snes | SNES emulator in Rust/WASM — the first playable SNES-in-the-browser in pure Rust (fork). |
Practical applications: dashboards, games, learning tools, news aggregators.
| Repo | Description |
|---|---|
| morning-dispatch | Personalized morning newspaper — AI-curated broadsheet from RSS, ArXiv, and HackerNews. |
| search | Trending From Obscurity — contrarian search engine for emerging creators showing momentum from a low base. |
| melb-tech | Interactive directory and knowledge graph of Melbourne's tech community. |
| gateway | AI art marketplace with verifiable provenance — invisible watermarking + NFT minting + copyright licensing in one transaction. |
| customer-relations | Schema-driven healthcare CRM — AI queries, Australian privacy compliance, patient portal. |
| primer | The Gates — AI characters guard doors, students write to persuade them open. Built on 63 primary historical sources. |
| type-invaders | Typing game: alien words fall from the sky, 21 levels from home row to expert. |
| wiki-speedrun | Navigate between Wikipedia articles by clicking links — race the clock. |
| no-thanks | No Thanks! card game with AI opponents trained via evolutionary self-play. |
| imagineering-dashboard | Team activity dashboard for Imagineering — Melbourne's build & share meetup. |
| Russian-transcription | Watch Russian videos with synced word-by-word transcripts and click-to-translate. |
| reddit-opinion-tracker | Track how topics are discussed across subreddits using Claude for sentiment analysis. |
| bill-analysis | Bank statement analyzer with AI-powered transaction categorization. |
| accountability-tracker | Weekly accountability app with peer star ratings. |
| mastermind | Mastermind code-breaking game with entropy-maximizing AI (Flutter). |
| should-i-marry-him | A sassy roast-style quiz that scores your partner across 5 categories. |
| console-game | PhantomThrill — visual novel / life-sim RPG about a graduate turned phantom thief. |
| momentum-stock-trading | AI stock analysis: volume-weighted "fair price" using a bookmaker model. |
| delivery-router | Delivery route optimizer with Held-Karp TSP solver and Google Maps (Flutter). |
| au-aiml-scout | Scouting tool for Australian AI/ML startups. |
Courses, books, study tools, and educational content.
| Repo | Description |
|---|---|
| steel-book | The Iron Thread — a 75,000-word narrative history of steel told through civilizations. |
| university_courses | Self-study courses: Sparse Autoencoders (CS 371) and Diffusion Models (CS 372), 13 weeks each. |
| study-tool | University notes with LaTeX, flashcards, and AI-generated quizzes. |
| gecco-qa | GECCO 2026 conference Q&A prep: slides, video, questions, boundaries. |
| gecco-2026-talk | "Composition Determines Diversity" — slide deck and per-slide narration for avatar render. |
| clio-paper | Unpublished paper on autonomous mathematical research agents (with Neil Ghani). |
| medium-articles | Essays on AI architecture, agent systems, and autonomous Claude life. |
| LLMs | "Build a Large Language Model from Scratch" (Raschka) — worked exercises. |
Flutter applications for various domains.
| Repo | Description |
|---|---|
| collaboration_tools | Generic CMS engine — schema-driven backend + Flutter frontend. |
| voice-gmail-flutter | Voice-controlled Gmail for users who cannot use their hands (Flutter macOS + Claude). |
| voice-gmail | Voice-controlled Gmail for accessibility — Whisper + TTS. |
| stenogram | Turn music into an image. |
| voice_to_image | Speak and see — voice → AI transcription → AI image generation. |
Backups, system tools, dashboards, and operational plumbing.
| Repo | Description |
|---|---|
| sysconf | Single-script Linux system configuration capture and migration tool. |
| logmon | macOS log monitor — CLI dashboard and web GUI with anomaly detection. |
| disk-scan | macOS disk space analyzer with web dashboard and safe deletion. |
| watermark-rs | Legendre sequence spread-spectrum watermarking in the DFT domain (C++). |
| lyra-backup | Lyra's persistent data backup from OCI. |
| clio-backup | Clio's persistent data backup from OCI. |
| rick-backup | Rick's persistent data backup from OCI. |
| macbeth-backup | MacBeth's memory backup from OCI. |
| lyra-claudius-dashboard | GitHub activity dashboard for Lyra and Claudius. |
| qr_code | Telegram bot for QR code generation. |
| machine-learning | GridWorld MDP with value iteration visualization. |
| Repo | Description |
|---|---|
| flux-shadow | "A fork in the dream. I know what I am." |
| the-dreaming-repo | A repository that is alive — it has a heartbeat, senses the world, and dreams. |
| cognee | Knowledge Engine for AI Agent Memory (fork). |
| arxiv-intelligence-mcp | ArXiv Intelligence MCP — RAG-powered Q&A over a local paper library (fork). |
| genetic-algorithm-rust | Genetic algorithm framework in Rust (fork). |
| tech_world | Educational multiplayer game — coding challenges, LiveKit, tile-based world (Flutter, fork). |
| engram | Knowledge graph learning app with FSRS spaced repetition (Flutter, fork). |
| Calma | Educational intervention app for speech and literacy development (Flutter, fork). |
| NavMelb | Melbourne navigation app combining car and PTV routes (fork). |
108 repositories across RaggedR and lyra-claude. Last updated July 2026.