ARNOLDC / TOARUOS
Schwarzenegger-quote language + Unix-like OS. Low-level systems.
C, Assembly
ERDOS
Automated theorem prover — Prover/Critic multi-agent loop with Lean 4 and SHA-256 integrity locks.
Python, Lean 4, Multi-agent LLM
POLYMARKET_BOT
Prediction market trading. Regime detection, Kelly criterion sizing, Monte Carlo validation.
Python, Kelly criterion, Monte Carlo
JOBHUNTER
AI job application system. Human approval + honesty constraints. 52 drafted, 0 submitted.
Python, TypeScript, Gemini AI, GCP
AI-TAX-CPA
AI tax assistant. Schedule C. RAG pipeline.
Python, LLMs, RAG
BEE
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
HEALTHOS
Health data OS. Wearable + lab aggregation.
Python, FastAPI, React, Docker, JWT
CLAUDE-SFX
Terminal sound effects.
Node.js
ANTI-SLOP-DESIGN
Design system. 8 domains, 15 rules, 0 slop.
Methodology
SAAS-STARTER-KIT
Production SaaS boilerplate.
Express.js, SQLite, Stripe, Nodemailer
BENNYCUTOOLS
Personal infra. Agents, automation.
TypeScript, Cloud Run
CUUPER22.GITHUB.IO
Portfolio. One of twenty. هانت.
HTML, CSS
[2020-2024]
Minerva University. CS+physics, 7 countries, 76 credits, rank 5th Egypt.
[2021-2025]
CS Tutor. 250+ students, 20+ colleges. DSA + systems.
[2024-NOW ]
Systems · AI · Compilers. Multi-agent systems, theorem proving. Shipped to production.
[2020-NOW ]
Open Source. ToaruOS, ArnoldC, dev tools. 10 repos.