Projects

Systems
voltproxy

⚡ Reverse proxy with effortless Docker integration and easy configuration

Go

critwm

Tiling window manager for X

Rust

make-tui

make-tui

Display and run Makefile rules in the terminal

Go

eBPFCCP

eBPFCCP

eBPF-based congestion control layer

Rust

C

Python

Websites
UFDS Training

UFDS Training

Educational platform for competitive programming training used by 1000+ students (Next.js, Firebase)

TypeScript

ClickMe

Full stack application to gather human object recognition data for AI research (React, PostgreSQL)

Python

TypeScript

Go

Theme Repo

🌈 Full stack, self-hosted color scheme repository with a Rust backend

Rust

TypeScript

Astro

MUN Platform

MUN Platform

Online platform for UWCSEA's Model United Nations conferences supported by a Firebase backend and React frontend

JavaScript

Games
Beeline

🐝 An action-packed game where you play as a missile-dodging, laser-evading, upgradeable bumbly bee

Rust

Platycake

A dialogue-based casual game developed during BRGD 2022 Fall Session (Unity game engine)

C#

ctrait

Trait-based Rust game engine

Rust

camlcade

camlcade

đŸĢ OCaml game engine

OCaml

Lucid Spatial Drift

A 3D voxel-based game with lucid visuals (OpenGL)

C++

chip8

chip8

🕹ī¸ CHIP-8 emulator written in Rust

Rust

Math

Axiomatic Set Theory

Formalization of Enderton's Elements of Set Theory in Lean

Lean

graphw

graphw

C++ library for graph drawing and network analysis

C++

Hackathon
blocker

Build Dockerfiles with blocks and AI (TreeHacks 2024)

TypeScript

Python

Otamachamp

Music game based on sound input... In space! (Hack@Brown 2024)

JavaScript

Python

visuaLAG

Gamify coding challenges (HackMIT 2023)

Rust

Racket

Python

gitReal

A parody of BeReal geared towards CS majors (Hack@Brown 2023)

JavaScript

Python

Crisp

Embedded MIDI controller with custom drivers, hardware, and audio visualizer (Hack&Roll 2021 Hackathon)

Rust

C++

Python

Viewfinder

Web extension that identifies controversial topics and provides a platform for discussion (OpenHacks 2020)

JavaScript

padblocker

Physical adblocker (Hack&Roll 2020)

JavaScript

C++

Python