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 !
../ bob2021-1-eng-Theorems_for_free_webm-hd.webm 19-Jun-2021 19:46 205M bob2021-1000-eng-Keynote_How_I_Design_Programs_..> 29-Jun-2021 11:51 173M bob2021-101-eng-Darcs_because_git_won_webm-hd.webm 19-Jun-2021 19:56 179M bob2021-104-eng-Servant_vs_Mu_A_Type-Level_Batt..> 19-Jun-2021 20:33 302M bob2021-107-deu-A_Firewall_for_Your_Radical_Net..> 19-Jun-2021 20:50 140M bob2021-109-deu-Nach_20_Jahren_Agilitaet_-_wird..> 19-Jun-2021 19:51 456M bob2021-110-eng-Logic_Programming_and_Databases..> 19-Jun-2021 20:06 74M bob2021-111-eng-Guarding_Your_IO_Boundaries_web..> 19-Jun-2021 20:41 157M bob2021-113-eng-STG_Backend_for_Idris2_webm-hd...> 19-Jun-2021 20:50 183M bob2021-114-eng-Pipes_Arrows_and_the_Universe_w..> 19-Jun-2021 20:32 166M bob2021-88-eng-Higher-Kinded_Data_Types_by_Exam..> 19-Jun-2021 20:11 226M bob2021-93-deu-Lessons_Learned_Architekturdokum..> 19-Jun-2021 20:23 324M bob2021-95-eng-A_Gentle_Indroduction_to_Stream_..> 19-Jun-2021 20:02 272M bob2021-97-eng-SIMD_in_Higher_Level_Programming..> 19-Jun-2021 20:18 230M bob2021-98-deu-React_Performance_webm-hd.webm 19-Jun-2021 20:42 367M