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:20 95M qtcat2026-110765-eng-The_Road_from_Circuits_to_..> 12-Aug-2026 15:15 142M qtcat2026-110771-eng-Category_theory_formalised..> 12-Aug-2026 15:14 208M qtcat2026-110772-eng-Coinductive_invertibility_..> 13-Aug-2026 13:37 173M qtcat2026-110773-eng-The_fundamental_theorem_of..> 12-Aug-2026 15:55 482M qtcat2026-110775-eng-Opening_av1-hd.webm 12-Aug-2026 14:27 13M