MIT 18.02 lecture notes on multivar
Dépôts
Dépôts de vEnhance
Receive automatic email notifications before your Google Contacts birthday and other events!
Extension to track hat-like plays in competitions on Hanab.live
Evan's copy of MIL to work through in a separate branch
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
Check syntax in Vim/Neovim asynchronously and fix files, with Language Server Protocol (LSP) support
A minimal setup required script to improve AoPS
The official website for the Asian Pacific Mathematics Olympiad
website for the athemath program
Evan tries to figure out how to maintain AUR packages lmao
Runs "nvm use" automatically
All the math/tex files for the Automorphic Project
Development repo for the Battlecode 2026 game
Evan Chen's blog "Power Overwhelming"
Practice braille, Morse, semaphore.
MariaDB/MySQL Charset/Collation Fixer - A Python tool to painlessly convert MariaDB/MySQL databases, tables, and/or columns into different character sets and collations, most notably utf8mb4 + utf8mb4_unicode_ci
Catalog Of Math Problems Formalized In Lean
Source code for the mafia bot.
Clear out annoying bot 404's from your log by sending them to Rick Astley