Stars
A feature-rich command-line audio/video downloader
An online blackboard 🖉 with fridge magnets 🌈🧲 for teaching, and making animations 🏃 and presentations ⎚. All of that in a lightweight user interface, and without coding.
Python code (using regina, snappy, and sage) for working with transverse taut and veering ideal triangulations.
Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
Build tools for the Sagemath Windows installer
Converts profiling output to a dot graph.