Rahul Muttineni

Open Source

What I'm building in the open right now.

Each project with what it does, where it's headed, and commit activity over the last 12 weeks. Activity refreshes daily from GitHub.

Pleiades

rahulmutt/pleiades

A pure-Rust ephemeris and chart library for astrology software, covering planetary positions, houses, ayanamsas, eclipses and astronomical events, with no C dependencies.

223 commits in the last 12 weeks

Updated

Current focus

I’m hardening sidereal charts, house cusps and event searches, fixing the cases where they disagreed with reference data. I’m also adding station and aspect search to the library and CLI, and checking the results against a validation corpus.

Focus as of Oct 2026

Balerix

balerix-ai/balerix

A programmable control and data plane for fleets of coding agents, running each agent in its own sandbox and grouping them into crews that share a repository.

65 commits in the last 12 weeks

Updated

Current focus

I’m taking Balerix to Kubernetes: an operator with its own controllers, a sidecar that links each agent to the server over TLS, and plugins that run with or without a cluster. Alongside that, I’m hardening the sandbox and the GitHub plugin, which gives every issue or pull request its own agent.

Focus as of Oct 2026

Panini

rahulmutt/panini

A Rust library and CLI that parses Sanskrit words faithfully according to Pāṇini's Aṣṭādhyāyī, returning the sequence of sūtras that derives each form.

775 commits in the last 12 weeks

Updated

Current focus

I’m working through the curādi gaṇa, adding its rows in batches such as the plain obligatory-ṇic roots and the rule-bearing exceptions. Each batch brings the new sūtras it needs and a re-measured mutation-testing gate.

Focus as of Oct 2026

Leanr

rahulmutt/leanr

A high-performance implementation of Lean, written in Rust, aimed at declaration-level incremental compilation and aggressive, correct caching.

195 commits in the last 12 weeks

Updated

Current focus

I’m porting Lean 4’s elaborator to Rust, currently the command layer: scopes and name resolution, overloaded elaboration, and section variables with auto-bound implicits. Underneath, I’m filling in the meta layer with metavariable handling and typeclass synthesis.

Focus as of Oct 2026

Kali

rahulmutt/kali

A functional, type-safe, AI-native programming language designed to be sandboxed and have all effects known at compile-time.

857 commits in the last 12 weeks

Updated

Current focus

I’m working on captured bindings in the compiler: a variable captured by a closure is now lowered to a typed cell when the compiler can prove its type, and refused outright when it can’t. Alongside that, I’m pinning the behavior down with check-versus-run differential tests and a written set of rulings.

Focus as of Oct 2026

Shinri

rahulmutt/shinri

A modern, pure-Rust, high-performance SMT solver.

544 commits in the last 12 weeks

Updated

Current focus

I’m extending the string theory solver, most recently with joint seeds for concat-subject regular-expression memberships and a derivative search over their leaves. Each slice is checked against z3 in differential tests and recorded with benchmark runs.

Focus as of Oct 2026

Kasane

rahulmutt/kasane

A document processor that converts EPUB, PPTX, MOBI, AZW3, PDF and DjVu files into progressively disclosed, AI-agent-friendly Markdown.

513 commits in the last 12 weeks

Updated

Current focus

I’m building a census of the converter’s output shapes, with ratchet gates that fail when coverage regresses. The latest work adds length-5 and length-6 novelty tiers, with length 5 in pull-request CI and length 6 run weekly.

Focus as of Oct 2026

Devkit

rahulmutt/devkit

A set of workflow skills that give AI coding agents engineering discipline, installable across Claude Code, Codex, Cursor, Gemini, Kimi, pi and opencode.

No commits in the last 12 weeks

Updated

Current focus

The latest round of work shipped release 0.2.0. It added a committed threat-model practice to security-practices, new modularity and small-files principles to writing-clean-code, and a consistency pass across every skill. Releases now run through release-please, generated from a single source of truth, and the session-start hook works on Unix.

Focus as of Jun 2026