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:54 134M qtcat2026-110762-eng-Parametrised_Representabil..> 14-Aug-2026 15:07 273M qtcat2026-110765-eng-The_Road_from_Circuits_to_..> 12-Aug-2026 15:40 182M qtcat2026-110771-eng-Category_theory_formalised..> 12-Aug-2026 15:34 286M qtcat2026-110772-eng-Coinductive_invertibility_..> 13-Aug-2026 13:54 265M qtcat2026-110773-eng-The_fundamental_theorem_of..> 12-Aug-2026 16:38 631M qtcat2026-110774-eng-Cats_and_Types_Side_by_Sid..> 14-Aug-2026 09:00 372M qtcat2026-110775-eng-Opening_webm-hd.webm 12-Aug-2026 14:31 15M qtcat2026-110779-eng-Closing_Closure_Completion..> 14-Aug-2026 15:12 234M