Examples of how to create colorful, annotated equations in Latex using Tikz.

An alternative field management system for the FIRST Robotics Competition.

amateur translation project of Grothendieck's EGA.

Notes and course material for MATH50003 Numerical Analysis (2021–2022)

Info on resources for studying math, stats, CS, etc.

Master the command line, in one page

This repository consists of Lean 3 code which defines modular forms and looks to prove that Eisenstein series satisfy these definitions. The code within will eventually form part of the mathlib.