Pinned Loading

1. graph-braid-splitter graph-braid-splitter Public

   Computes free splittings of graph braid groups.

   Python 2

2. graph-braid-presenter graph-braid-presenter Public

   Computes presentations of graph braid groups.

   Jupyter Notebook 1 1

3. recap-video-generator recap-video-generator Public

   Extracts clips from video files and combines them into a single video, adding custom subtitles, crossfade transitions, and normalising audio. The user can either specify their desired clips manuall…

   Python 8

4. yt-playlist-generator yt-playlist-generator Public

   Generates a YouTube playlist from a list of URLs.

   Python 9 7