Systems from bare metal to multi-agent AI
Built a complete desktop OS in ArnoldC — 22,000 lines where every keyword is an Arnold Schwarzenegger quote. GUI, networking, games, 213KB binary.
C, assembly
Automated theorem prover — Prover/Critic multi-agent loop with Lean 4 and SHA-256 integrity locks. The agents kept redefining what they were proving, so I had to lock the theorems down.
Python, Lean 4, Multi-agent LLM
Prediction market trading with regime detection, Kelly criterion sizing, and Monte Carlo validation.
Python, Kelly criterion, Monte Carlo
AI job application system with human-in-the-loop approval and honesty-constrained cover letter generation.
Python, TypeScript, Gemini AI, GCP
AI tax assistant that actually understands Schedule C.
Python, LLMs, RAG
Spelling Bee word game — hexagonal letter grid, 370k-word dictionary, 5 hint types, 4 difficulty modes. WCAG AAA accessible. 80 tests.
React Native, Expo, TypeScript, tRPC
Health tracking platform — medical records, lab results, medications on one timeline. FastAPI + React, JWT auth, Docker.
Python, FastAPI, React, Docker, JWT
Sound effects integration for Claude Code. Makes your terminal less quiet.
Node.js
Design system that kills generic AI aesthetics. 8 domain profiles, 15-rule checklist.
Pure methodology
Production-ready SaaS boilerplate. Auth, billing, dashboards.
Express.js, SQLite, Stripe, Nodemailer
Personal infrastructure toolkit. Agents, dashboards, automation.
TypeScript, Cloud Run
This portfolio (well, one of ten versions of it).
HTML, CSS, sanity
Studied CS + physics across 7 countries. Ranked 5th nationally in Egypt. 76 credits completed.
Taught 250+ students across 20+ colleges. Data structures, algorithms, systems programming.
Multi-agent systems, automated theorem proving, LLM-powered tools. Shipped to production.* still hiring
Built ToaruOS-Arnold (bare-metal OS), ArnoldC-Native (compiler), anti-slop-design (Claude Code skill), and various developer tools. 9 public repos.