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:55 60M qtcat2026-110765-eng-The_Road_from_Circuits_to_..> 12-Aug-2026 15:39 76M qtcat2026-110771-eng-Category_theory_formalised..> 12-Aug-2026 15:51 127M qtcat2026-110772-eng-Coinductive_invertibility_..> 13-Aug-2026 14:00 119M qtcat2026-110773-eng-The_fundamental_theorem_of..> 12-Aug-2026 16:41 178M qtcat2026-110775-eng-Opening_webm-sd.webm 12-Aug-2026 14:30 7M