Projects

Prediction Market Maker Bot

Designed and deployed a market-making system actively trading on Polymarket.

Python

Erdős Lean

A collection of self-contained single-file Lean proofs for Erdős problems.

Lean

Proofbase

A dependency visualizer and personal library for Lean proofs.

Lean
TypeScript
Flask
PostgreSQL

Chazelle Triangulation

The first implementation of Chazelle's celebrated linear time triangulation algorithm. (WIP)

C++

No FC Tracker

A Node.js script that tracks all osu!standard ranked beatmaps without a Full Combo (FC).

JavaScript

USCC

A compiler for a subset of C, developed as a university project using LLVM.

C++
LLVM

Doodle Digger

A tool to extract default Google profile pictures (doodles) with automated browser navigation.

TypeScript

LCS

Benchmarking cache aware, oblivious, and adaptive longest common subsequence algos.

C

CSES Code Golf

Accepted code golf solutions to the CSES problem set written in Python 3.

Python