ArnoldC / ToaruOS
Built a complete desktop OS in ArnoldC — 22,000 lines where every keyword is an Arnold Schwarzenegger quote. GUI, networking, games, 213KB binary.
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.
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.
Prediction market trading with regime detection, Kelly criterion sizing, and Monte Carlo validation. Python.
AI job application system with human-in-the-loop approval and honesty-constrained cover letters. 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.
Health tracking platform — medical records, lab results, medications on one timeline. FastAPI + React, JWT auth, Docker.
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).
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.
Built ToaruOS-Arnold (bare-metal OS), ArnoldC-Native (compiler), anti-slop-design (Claude Code skill), and various developer tools. 9 public repos.
Python, TypeScript, JavaScript, C, x86 Assembly, SQL
LLMs, multi-agent systems, RAG, formal verification, prompt engineering
GCP, Docker, Cloud Run, GitHub Actions, CI/CD, Linux
React, React Native, Next.js, Tailwind, responsive design