Systems · AI · Compilers
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 position sizing, and 1,000-run Monte Carlo validation. The most important classification is "trap" — when the correct action is to do nothing.
AI job application system that scrapes boards, scores with Gemini, generates honesty-constrained cover letters, and pre-fills ATS forms — but requires human approval before submitting anything. 52 applications drafted, 0 auto-submitted.
AI tax assistant that actually understands Schedule C. Built it because the IRS documentation reads like someone encrypted English and lost the key.
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. Because working in silence is overrated and your terminal deserves a soundtrack.
Design system that kills generic AI aesthetics. 8 domain profiles, 15-rule checklist, zero tolerance for purple gradients and Inter on everything. This page uses it.
Production-ready SaaS boilerplate. Auth, billing, dashboards, the works. So you can skip straight to the interesting part.
Personal infrastructure toolkit. Agents, dashboards, automation. The invisible stuff that keeps everything else running. It is what it is.
This portfolio, one of twenty versions. Each one built differently because the simulation demands it. College didn't pan out but the work speaks.
CS + physics across 7 countries. Ranked 5th nationally in Egypt. 76 credits completed. Things got complicated, but the knowledge doesn't expire.
Taught 250+ students across 20+ colleges. Data structures, algorithms, systems programming. Explaining things to others is how you find out what you actually know.
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.