This machine mirrors various open-source projects.
20 Gbit/s uplink.
If there are any issues or you want another project mirrored, please contact
mirror-service -=AT=- netcologne DOT de !
../ qtcat2026-110760-eng-Who_cares_about_codensity_..> 12-Aug-2026 15:03 110M qtcat2026-110762-eng-Parametrised_Representabil..> 14-Aug-2026 14:46 327M qtcat2026-110765-eng-The_Road_from_Circuits_to_..> 12-Aug-2026 15:01 153M qtcat2026-110771-eng-Category_theory_formalised..> 12-Aug-2026 14:58 264M qtcat2026-110772-eng-Coinductive_invertibility_..> 13-Aug-2026 13:21 223M qtcat2026-110773-eng-The_fundamental_theorem_of..> 12-Aug-2026 15:33 656M qtcat2026-110774-eng-Cats_and_Types_Side_by_Sid..> 14-Aug-2026 08:17 516M qtcat2026-110775-eng-Opening_hd.mp4 12-Aug-2026 13:56 10M qtcat2026-110779-eng-Closing_Closure_Completion..> 14-Aug-2026 14:48 269M