Skip to content
View amaydixit11's full-sized avatar
🎯
Focusing
🎯
Focusing

Highlights

  • Pro

Block or report amaydixit11

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
amaydixit11/README.md

Amay Dixit

Final year B.Tech, Data Science & AI · IIT Bhilai

Portfolio Email LinkedIn X


I build infrastructure from first principles: network protocols, sync engines, database internals, agent runtimes. The pattern is the same every time. Rebuild the system to understand it, then ship the version other people can actually use.

Right now

  • Software Engineer Intern at Emergent (Y Combinator, Bengaluru). Agent orchestration infrastructure: durable execution with Temporal, replay and evaluation tooling, browser-session persistence, telemetry across a multi-service backend.
  • LFX and OpenSSF Mentee at RSTUF. Software supply chain security with The Update Framework.
  • MOSIP contributor through C4GT, on India's digital identity stack.

Featured work

Local-first sync, end to end

ACORDE is a peer-to-peer data synchronization engine in Go. CRDTs for conflict-free merges, Kademlia DHT for peer discovery, XChaCha20-Poly1305 for transport encryption, SQLite in WAL mode for durable local storage. Applications keep working offline and converge when they reconnect, with no central server and no accounts.

It is the substrate for Relix, the reference application built on top of it: a privacy-first knowledge base with markdown notes, [[wikilinks]], a backlink graph and full-text search, syncing across devices without touching a cloud provider.

Agent and retrieval infrastructure

Project What it is Stack
Agent-Control-Plane Durable execution coordinator for fleets of AI agents. Deterministic control plane with no LLM in the loop, file-backed task state, atomic claiming with lease and heartbeat contracts, crash-resilient recovery. Modeled on the Kubernetes controller plus etcd pattern. Go
HalfLife · pip install halflife-rag Temporal reranking middleware for RAG. Applies explicit half-life decay over retrieved chunks and fuses it with vector similarity, so time-sensitive queries stop surfacing stale context. Published on PyPI. Python
GitIntel Turns sprawling GitHub issue threads into structured, LLM-ready digests: what is decided, what is blocked, what has already been tried. Lets a contributor enter a codebase without reading 300 comments. Python, FastAPI, D3.js
Afterthoughts Reads LLM chat history, extracts evolving interests, and runs continuous background research into a personalized feed. TypeScript

Systems, from scratch

Project What it is Stack
BitTorrent Client Full BEP-0003 implementation. Bencode parsing, wire-protocol handshakes, Kademlia DHT, rarest-first piece selection, tit-for-tat choking, endgame mode. Go
B+ Tree Disk-backed index with mmap I/O: 346K inserts/sec, 1.85M reads/sec, 4KB pages, 256-page batch allocation, adaptive 2/3 splitting for sequential loads. Verified against a 6GB index with 95% of data on disk. C++
MetaIndex A learned index that uses meta-learning to pick the optimal model per data segment, instead of committing to one structure across the whole keyspace. Python

Used by actual people

AcadMap is a crowd-sourced course-material platform for IIT Bhilai students. Next.js and Supabase, built with two other contributors. My most-starred repo, and the one that gets used without me being in the room.

I also keep a few projects private, including a personal data API that ingests eleven sources into one queryable timeline, and a retrieval layer over my own chat history. They inform the public work above.


Open source

→ Full contribution record, every merged PR linked. 97 merged pull requests across 37 repositories. 39 of them into external projects I neither own nor run, spread over 12 organizations.

Where Role What I did
RSTUF LFX / OpenSSF Mentee 2026 Role-specific online keys for nested hash bins, landed across the API, CLI and worker. Functional test coverage for the same. Built a TUF metadata MCP server.
MOSIP / Inji Contributor, C4GT 2025 11 merged PRs, +9,963 / −1,185 across 161 files. W3C BitString Status List revocation, ISO/IEC 18013-5 mDoc issuance (CBOR, COSE, MSO), OpenID4VCI pre-authorized code flow. Also built inji-doctor, a diagnostic CLI for the Inji stack.
Nirmata Contributor 7 merged PRs across ottoflow and runtime. Kubernetes policy and workflow tooling, including admission-time authorization for runner ServiceAccount overrides.
GoFr Contributor Supabase database support, merged into the GoFr framework.
Polaris Fellow, 1 of 10 from 10,000 8 merged PRs.
sktime / skpro Contributor KernelMixture conditional density estimator, GLM parameter fixes.
OpenLake Coordinator 2025-26 60+ repositories, 100+ contributors, 20+ juniors mentored. Standardized CI/CD across the org and ran an AST-based audit of 19 repos that surfaced 20+ critical issues.
FOSSEE, IIT Bombay Summer Fellow 2025 OSDAG, open-source structural steel design.

Open upstream right now: five PRs on RSTUF, plus work in flight at Harbor, Hiero Ledger and sktime.


Stack

Languages · Go · Python · TypeScript · Java · C/C++ · SQL

Systems · libp2p · CRDTs · Kademlia DHT · gRPC · BitTorrent BEP · CBOR/COSE · Docker · Kubernetes · Temporal · Linux

Backend · FastAPI · Next.js · Node.js · Spring Boot · Vert.x · NestJS

Data · PostgreSQL · SQLite · Redis · BigQuery · Neo4j · Qdrant · Supabase

AI · RAG pipelines · vector search · agent orchestration · MCP · PyTorch

Identity & security · W3C Verifiable Credentials · OpenID4VCI · ISO/IEC 18013-5 · TUF · XChaCha20-Poly1305


Setup
Component Tool
OS EndeavourOS (i use arch btw)
Terminal Kitty
Multiplexer Tmux
Editor Neovim + LSP
Knowledge base Obsidian
How I work

I instrument my own process the way I would instrument a service. Years of notes, commits, and chat history get ingested into a personal API and queried, so claims about how I work are measured rather than remembered. It started as curiosity and turned into the thing that tells me when I am actually shipping and when I am just busy.


If you want to understand something, build it from scratch.

Pinned Loading

  1. acadmap acadmap Public

    AcadMap is a collaborative tool designed to simplify resource sharing among students of IIT Bhilai. It allows students to contribute course materials, notes, and other valuable insights, fostering …

    TypeScript 13 2

  2. acorde acorde Public

    ACORDE (Always-Available Conflict-free Offline-first Replicated Distributed Data Synchronization Engine) is a local-first, peer-to-peer data synchronization engine built with Go. It enables applica…

    Go 1

  3. HalfLife HalfLife Public

    A middleware layer for retrieval systems that applies temporal decay functions over retrieved chunks using explicit half-life modeling. It fuses vector similarity with time-dependent relevance scor…

    Python 1

  4. Agent-Control-Plane Agent-Control-Plane Public

    A distributed control plane and runtime for orchestrating isolated AI agents as independent processes. Agents run in containers with separate credentials and coordinate via a shared, file-backed st…

    Go 1

  5. inji/inji-certify inji/inji-certify Public

    Repository hosts the source code, documentation, and other related files for the Inji Certify project

    Java 14 131