GameBoy Emulator (C++23)
github
- Simulated all GameBoy-specific hardware components/systems, including internal clock circuits, interrupts, and proprietary graphics chip
- Wrote a LR35902 Sharp CPU simulator/machine-code interpreter capable of running GameBoy ROMs, emulating hardware bugs involving finicky instruction timing and interrupt handling
- Achieved consistent a 300 frames per second using a custom SDL-integrating renderer on an M1 Macbook with integrated graphics
Kademlia Implementation (Rust)
github
- Wrote a decentralized P2P file-sharing system in Rust featuring a custom-built DHT based on the Kademlia
protocol, inspired by the design of BitTorrent.
- Guarded against Sybil and Eclipse attacks by implementing SKademlia security extensions including an upgrade to
SHA-2 and POW requirements to join the network
Snake Compiler (Rust, x86)
- Wrote an x86-64-emitting, optimizing compiler for a Python/OCaml hybrid language called Snake
- Implemented Rust interop, register allocation, dead code elimination, and dynamic typing, using lattices to eliminate unnecessary type checks
Formally Verified Sharded KV store (Dafny)
- Wrote a formally verified, distributed KV store in Dafny, proving safety properties for a partition-tolerant and available system
- Small platformer built in Unity with a custom tile based level editor, sports snappy/responsive movement, a simple gameplay loop, and an interesting invincibility mechanic
- Created a Wordle algorithm using a mix of heuristics including frequency of words/characters in the English language, scoring words and sorting them by likelihood
- Achieves an average guess count of 3.36 over the last 2 years of words, compared to the human average of 3.97
Lambda Vending Machine (TypeScript)
- Full stack webapp in TypeScript that allows non technical users to create callable endpoints in AWS using Anthropic’s API
- Managed concurrent requests from users with a custom job queue