Skip to content
View pandeylakshya207-max's full-sized avatar

Block or report pandeylakshya207-max

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Lakshya Pandey

Systems + AI/ML engineer. I build things from scratch and fix real bugs.

Currently: B.Tech CSE (AI & ML) @ Dayananda Sagar University, Bengaluru (2025–2029) · AI Research Contributor @ MIT CSAIL (KellisLab/Mantis) · Co-founder @ EDUING


Projects

raftkv — Distributed KV Store · Go

Production-grade key-value store built on a from-scratch Raft consensus implementation. Leader election, log replication, snapshotting, membership changes, linearizable reads. Includes a Jepsen-style linearizability checker (Wing-Gong algorithm) and a binary RPC transport (gob, 52% smaller wire format, 2.1× faster than HTTP/JSON). 9 real bugs found and fixed across the build via deep integration testing and the race detector. go test ./... -race — all clean.

lumen — Compiled Language · Rust

Statically-typed language built from scratch: lexer → recursive-descent parser → type checker → bytecode compiler → stack VM, plus a second tree-walking interpreter backend for honest benchmarking. VM is 5× faster than the tree-walking interpreter on loop-heavy programs (direct slot indexing vs scope-chain HashMap walks). 203 tests. Both backends execute the same programs identically.

RouteLLM-Pro — LLM Router · Python

Multi-tier LLM routing system with a trained cost/quality classifier, A/B testing framework, Redis logging, and resilience features. Routes queries between Groq and Gemini based on complexity. Deployed.

pyterrier_rag — Open Source Contribution · Python

Contribution to the University of Glasgow Terrier Team's RAG retrieval library. PR reviewed and merged by Prof. Craig Macdonald.


Research

MIT CSAIL — KellisLab / Mantis platform (2025–present)
AI Research Contributor under Prof. Manolis Kellis. Building Education Vertical applications on the Mantis platform.


Stack

Languages: Go · Rust · Python · C++ · TypeScript
Systems: Raft consensus · distributed KV stores · bytecode VMs · compilers
AI/ML: LLM routing · RAG · multi-agent systems · cost-aware inference


Contact

pandeylakshya207@gmail.com · HuggingFace

Pinned Loading

  1. raftkv raftkv Public

    Production-grade distributed KV store on a from-scratch Raft consensus in Go — leader election, log replication, snapshotting, linearizability checker, binary RPC. 9 real bugs found and fixed.

    Go

  2. lumen lumen Public

    Statically-typed compiled language in Rust — lexer, parser, type checker, bytecode compiler + stack VM, and tree-walking interpreter. VM vs interpreter benchmark included.

    Rust

  3. routellm-pro routellm-pro Public

    Multi-tier LLM router with trained cost/quality classifier, A/B testing, Redis logging, and resilience features. Deployed.

    Python

  4. flux flux Public

    Python

  5. memdb memdb Public

    In-memory database engine in Go — B-Tree, HashMap, Page Cache, WAL + crash recovery

    Go

  6. mini-infer-engine mini-infer-engine Public

    Python