Prediction Market Maker Bot
Designed and deployed a market-making system actively trading on
Polymarket.
Chazelle Triangulation
The first implementation of Chazelle's celebrated linear time
triangulation algorithm. (WIP)
Erdős
Lean
A collection of Lean proofs for problems from erdosproblems.com.
No FC Tracker
A Node.js script that tracks all osu!standard ranked beatmaps without a Full Combo (FC).
USCC
A compiler for a subset of C, developed as a university project
using LLVM.
LCS
Benchmarking cache aware, oblivious, and adaptive longest common
subsequence algos.
Doodle Digger
A tool to extract default Google profile pictures (doodles) with
automated browser navigation.
CSES Code Golf
Accepted code golf solutions to the CSES Problem Set written in
Python 3.
Coursphere
A full-stack application that generates courseware and provides
related videos for users.