Geek Repo
followers
following
stars
Github PK Tool:Github PK Tool
Animations (with manim) for "Three unusual examples of manifolds -- colours, graphs, and probability distributions"
Various Shell/Python/Perl scripts I use or used to use