systems
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.
August 22, 20264m read
Hey, I'm Akash Priyadarshi. Self-taught developer and open-source builder from Patna, Bihar, India. I specialise in Android internals (IPC / Binder), Rust systems tooling, AI agents and RAG pipelines, full-stack development with Next.js and TypeScript, Kotlin, Go, and Python. I build things that work — low-level, reliable, and open.
TypeScript · JavaScript · Kotlin · Rust · Go · Python · Java · Next.js · React · TailwindCSS · Android SDK · Jetpack Compose · Binder / IPC · RAG · AI Agents · GitHub Actions · Docker · Linux
Hey, I'm Akash Priyadarshi. Self-taught developer & open-source builder. TypeScript, Python, Kotlin, Rust, Go. Full-stack with Next.js. Android internals. CI/CD automation.
Tourism guide for Sitamarhi, Bihar. One HTML page, no framework. Temple histories, train info, OSM map, Wikimedia gallery.
Precompiled TDLib for Android. AARs for all 4 ABIs, Gradle setup, Kotlin Coroutines/Flow wrappers.
Curated ₹0 agentic coding stack for solo devs under tight constraints. 96 tools, install script + npx CLI.
Fast grep with AI-native output. Token-compressed results for LLM coding agents. MCP server included.
Free offline-first PWA replicating the NTA computer-based test interface for NEET UG 2027. Exact NTA replica UI, question palette, mark-for-review, timer, JSON question-bank import, AI bank generation.
110 documented exam paper leaks in India (2004-2026). 2.25 crore aspirants affected. Data-driven investigation, not a dashboard — an accusation. Live site only (source private).
Turn any codebase into an academic paper (Typst, LaTeX, PDF & WebPaper HTML). Stdlib Python CLI + Claude Agent Skill.
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.