Mihir Patel
Software engineer in Pennsylvania. I build full-stack applications and developer tools. There's also a tiny game above.
← → to run, space to jumpTap the name to jump
Work
Intent
An experimental typed representation for human-AI software development. A canonical ontology and deterministic checks surface ambiguous instructions and conflicting operations before execution.
TypeScript, JSON Schema
Aura
A research workspace for paper trading in US stocks and ETFs, with a double-entry ledger, owner sign-in, safety controls with an audit trail and live updates. The app and accounting foundation are implemented; market data and AI analysis remain in the design stage.
Python, FastAPI, PostgreSQL, React, TypeScript
Asterion-256
An experimental, unaudited 256-bit ARX sponge hash with a formal specification, independent TypeScript and Python implementations and known-answer test vectors. Research only; not for production cryptography.
TypeScript, Python
Stack
- Languages
- TypeScript, JavaScript, Go, Python, Java, SQL
- Frontend
- React, Next.js, Vue, Vite, Tailwind CSS, Electron, Three.js
- Backend
- Node.js, Express, FastAPI, Spring, Django, GraphQL
- Data
- PostgreSQL, Prisma, SQLAlchemy, Redis, MongoDB, Firebase, pgvector
- Testing
- Vitest, Playwright, pytest, Ruff, mypy
- Systems & cloud
- Linux / WSL2, Docker, Docker Compose, Networking, Security, AWS, Cloudflare, Vercel, Aiven
- Developer tools
- Git, GitHub Actions, JSON Schema, Figma, Vim, Asana
Contact
The best way to reach me is LinkedIn (opens in a new tab). I'm also on GitHub (opens in a new tab), and here's my resume.