Building c2proof: C to Rust Migration with Verification
A verifier-first c2rust wrapper. Give it a flat C repo, and it outputs a compiling Rust port PR alongside a mathematical proof artifact.
Thoughts on designing autonomous agents, Android internals, vibe-coding loops, systems utilities, and developer philosophy.
A verifier-first c2rust wrapper. Give it a flat C repo, and it outputs a compiling Rust port PR alongside a mathematical proof artifact.
A stdlib Python CLI and Claude Agent Skill to convert an entire codebase into a readable academic paper in Typst, LaTeX, PDF, and HTML.
How I built a native Android expense tracker that automatically captures UPI payments from GPay, PhonePe, and Paytm with zero AI and 100% data ownership.
22 lakh students sit NEET every year. In 2027 it goes computer-based. I built the exact NTA interface as a free offline PWA so nobody practises it cold.
Every agent session starts with the same question. I built the third piece of the read→search→orient pipeline — a repo map that tells you what exists without burning the context window.
110 documented exam paper leaks in India, 2004 to July 2026. 2.25 crore aspirants affected. I built the record. Not a dashboard. An accusation.
A tourism site for Dehradun with 15 comprehensive sections — places, food, defence institutions, weather, transport. Next.js static export, Framer Motion, Leaflet map, free OpenMeteo weather.
Built by a form-filler, for form-fillers. Store profile data once, fill any Indian exam form automatically, resize photos for any portal in one command.
LLM agents run thousands of grep calls per session. Every token counts. I built a token-compressed grep that cuts output by 60-95%.
cat is the most aliased command in every developer's shell. bat is 15MB. I wanted cat that fits in a kernel module.
I hand-coded a single-page tourism guide for my district. No React, no build tools, no database. Just HTML, CSS, and what actually matters.
I nuked 25K lines of code from my site. This is what's left.
Compiling TDLib for Android is a 4-hour NDK nightmare that crashes on low-RAM machines. I moved the whole build to GitHub Actions and shipped prebuilt AARs for all 4 ABIs.
A curated agentic coding stack where every tool runs on a ₹0 free tier — no payment method, no credit card. Organized by when you use it in a session.
I star repos I'll never look at again. So I built a tracker that curates 550+ of them — AI agents, dev tools, systems, LLMs, web dev — searchable, filterable, auto-updated daily.