I occasionally create videos about math/computer science that I put up on my YouTube channel, written in Python with Manim. Their source code is open and can be found here.

Regarding tooling, I use sox and arecord to record and process the audio and Kdenlive + ffmpeg to cut the video. For music, I use the blue dots sessions website – a great source of free high quality music under the Creative Commons license.

I also use Vector Magic to convert bitmap images to vectors for neat visualization of bitmap images (namely authors of proofs and algorithms I cover in the videos).

The rest of this page contains a list of all the videos by category, along with links to their YouTube, source code, subtitles and downloads in various resolutions (h264-encoded).

Graph Theory

2021/10/06 – Cayley’s Formula [YouTube] [720p, 1080p, 2160p] [subtitles, code]

2021/08/23 – The Blossom algorithm [YouTube] [720p, 1080p, 2160p] [subtitles, code]

2021/06/01 – Weak Perfect Graph Theorem [YouTube] [720p, 1080p, 2160p] [subtitles, code]

2021/04/28 – Vizing’s theorem [YouTube] [720p, 1080p] [subtitles, code]