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-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-110775-eng-Opening_hd.mp4 12-Aug-2026 13:56 10M