Lind is a single-process sandbox that provides an option to safely execute programs. Lind executes applications using software fault isolation and a kernel microvisor to limit the potential of reaching bugs or security flaws in the application.

SBOMit provides a specification aimed at including in-toto attestations and layout information to construct SBOMs that improve a software project's verifiable assurances.

A kernel module that implements Apple's HFS+ filesystem for FreeBSD 14. Scope includes modernizing VFS APIs, removing darwin dependencies, and building userland binaries for mount_hfs, newfs_hfs, and fsck_hfs.

POSIX tail which allows grep on live logs using --follow.

Google App Engine replica for development workflows.

Course project on improving Learned Bloom Filters.

Talk2Data is a centralized platform designed to simplify the way college students interact with their academic and professional data. It combines multiple sources like Notion and Gmail to track job applications, and uses LLMs with RAG to allow querying custom notes.

NYC Subway Traffic & Rideship Pattern Prediction.