Command-line program to download videos from YouTube.com and other video sites
Updated 2025-05-04 05:51:54 -06:00
retro server with an optional password-protected homepage
Updated 2023-09-28 16:59:41 -06:00
Reference deployment of JupyterHub with docker
Updated 2022-06-24 12:17:20 -06:00
fenics built from source using multi-arch docker images for modern python versions
Updated 2021-12-26 23:35:44 -07:00