Skip to content
View aaronanish-t's full-sized avatar
  • Chennai, India

Block or report aaronanish-t

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

Hi, I'm Aaron 👋

CS student at SRM · I build full-stack web apps and small ML models from scratch

About me

  • 🔭 Building CHRONOS-ZERO: a kernel that lets AI agents try a change on a database copy and checks it with Z3 before it goes live
  • 🛠️ Maintaining Studeo, a faster front-end for SRM's student portal that also finds when your friend group is free at the same time
  • 🌱 Learning how transformers actually work by writing them without nn.Transformer
  • 🤝 Contributing to open source: WXT, web-ext, h3
  • 📫 Looking for software engineering / ML internships

Featured projects

  • CHRONOS-ZERO · in progress
    Sits between an AI agent and the systems it changes. Each tool call runs inside a PostgreSQL savepoint, is checked against domain rules with the Z3 solver, then committed or rolled back, with a SHA-256 audit chain. I lead the kernel and state layer in a team of four.
    Python · FastAPI · PostgreSQL · Z3 · Docker
  • Studeo · live · demo, no login
    Syncs SRM attendance, marks and timetables; tells you how many classes you can still skip and intersects friends' timetables to find shared free hours.
    Next.js · TypeScript · Prisma · PostgreSQL
  • repo2readme · live
    Point it at a GitHub repo and it writes a README with a Mermaid architecture diagram. Uses tree-sitter extraction, a two-pass map-reduce over the code with Claude, then verifies the output against the source.
    Python · tree-sitter · Anthropic API · FastAPI · Docker
  • malayalam-transformer
    A character-level GPT trained on Malayalam Wikipedia, with attention, tokenizer and training loop written from scratch. Includes an ablation table of six runs, each changing one setting, plus an orthography checker that scores generated text.
    Python · PyTorch
  • CommitCamp
    A place to make your first open-source contribution: live good-first-issues, plus coding challenges where CI checks every solution PR against the tests.
    Next.js · TypeScript · GitHub Actions

Tech stack

Languages
TypeScript Python Java SQL

Web
Next.js React Tailwind CSS Node.js FastAPI Browser Extensions

Data, ML and AI
PostgreSQL Prisma PyTorch Claude API Z3 SMT solver

Testing and shipping
Vitest pytest Docker GitHub Actions Vercel

Connect

Email

GitHub streak

Contributions this year
Contribution snake

Pinned Loading

  1. chronos-zero chronos-zero Public

    CHRONOS-ZERO: speculative execution and Z3 verification kernel for autonomous AI agents

    Python

  2. commitcamp commitcamp Public

    Make your first open-source contribution: beginner-friendly issues and community coding challenges, all contributed by pull request.

    TypeScript 1

  3. studeo studeo Public

    A faster SRM Academia front-end: attendance margins, marks, timetable, and shared free hours for friend groups

    TypeScript

  4. malayalam-transformer malayalam-transformer Public

    Character-level GPT for Malayalam, written from scratch in PyTorch, with a one-knob-at-a-time ablation study

    Python

  5. pdf-converter pdf-converter Public

    Python

  6. profile-readme profile-readme Public

    TypeScript