- Spin contamination in UHF - derivation of 2.271 in Szabo and Ostlund (Aug. 2022)

- Binary operators and field axioms (Aug. 2023, ongoing)
- Common Regex patterns (to which I frequently refer) (Jul. 2023, ongoing)
- Useful facts and proofs about square matrices (Mar. 2023, ongoing)

- Tool for simplifying second quantization expressions (Wick's theorem, normal ordering, contractions) (Jan. 2024)
- Matrix transformations in 2d (Mar. 2023)
- Estimating pi by Monte Carlo (Pi day 2023)
- Super simple traffic simulator (Mar. 2023)