BoolIR
2025 / systems
A C++ retrieval engine with a streaming BSBI indexer, a sharded inverted index, mmap document access, and OpenCilk query execution. Optional BERT reranking through LibTorch.
2025 / systems
A C++ retrieval engine with a streaming BSBI indexer, a sharded inverted index, mmap document access, and OpenCilk query execution. Optional BERT reranking through LibTorch.
2026 / systems
SQL parser, binder, planner, and volcano executors over a buffer pool. Row storage, one file per table and index, snapshot isolation with per-tuple XMIN/XMAX.
2025 / systems
Breakpoints, register and memory inspection, and single-step for Linux processes, written in C against ptrace directly.
2024 / systems
Datapath and control logic for the SimpleRISC instruction set, paired with an assembler for writing test programs.
2025 / compilers
Hand-written lexer and parser, semantic checks, and LLVM IR generation for a toy language.
2024 / web
Rooms, message history, and presence. Built to learn how much state a live chat client actually has to manage.
2024 / web
Next.js front end over a MySQL schema for applications, vehicles, and policies. A course project.
Source and commit history are on GitHub.
all repositories