Pinned Loading

1. Cayley-Graph-Plotting-Fork Cayley-Graph-Plotting-Fork Public

   Forked from JuliaPoo/Cayley-Graph-Plotting

   A web UI that plots finite group Cayley Graphs in 3D

   TypeScript

2. chord-diagrams chord-diagrams Public

   Generates chord diagrams given an ideal triangulation (or an ideal arc system).

   Python

3. curver-frork curver-frork Public

   Forked from MarkCBell/curver

   For calculations in the curve complex

   Python

4. LeanAide LeanAide Public

   Forked from siddhartha-gadgil/LeanAide

   Tools based on AI for helping with Lean 4

   Jupyter Notebook

5. TDA TDA Public

   Some incomplete TDA notes which (hopefully) I'll complete as I get time