Last updated on January 26, 2024
Coq Probability Theory Library. (December 2023)
TSA check-in prediction algorithm (co-developed) using gradient-boosted regression. Tech Stack: Kalshi API, Pandas, LightGBM (September 2023)
WHPK.org. Built backend and implemented database and administrative functions for website, as well as dynamic scheduling features. Tech Stack: PHP, MySQL HTML/CSS/JS (February 2023)