Stars
Group project for 6.035 at MIT. Compiles "Decaf" (simple C-like language without classes) to x86-64 assembly.
Automated generation of planar geometry olympiad problems
Cryptographic Primitive Code Generation by Fiat
Thailand Covid testing and case data gathered and combined from various sources for others to download or view
Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.