Welcome to mirrors.dotsrc.org

All our mirrors of open source software are available via http, https, ftp and an onion service. More information about our mirrors including statistics and contact information is available on our mirror info pages.

For information about dotsrc.org and our other services please go to our website.

Index of /pub/mirrors/fosdem/2025/ub2147/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
fosdem-2025-4879-understanding-liquid-types-contracts-and-formal-verification-with-ada-spark.mp4616.4 MiB2025-02-11 01:58:18
fosdem-2025-4879-understanding-liquid-types-contracts-and-formal-verification-with-ada-spark.av1.webm81.8 MiB2025-02-11 01:58:15
fosdem-2025-4881-updates-on-the-ada-ecosystem.mp4553.9 MiB2025-02-11 01:38:42
fosdem-2025-4881-updates-on-the-ada-ecosystem.av1.webm66.4 MiB2025-02-11 01:38:39
fosdem-2025-6252-accelerating-robotics-development-through-simulation.mp4521.9 MiB2025-02-10 13:20:28
fosdem-2025-6252-accelerating-robotics-development-through-simulation.av1.webm107.2 MiB2025-02-10 13:20:26
fosdem-2025-4871-developing-device-drivers-for-ironclad-using-ada.mp4386.4 MiB2025-02-09 18:43:43
fosdem-2025-4871-developing-device-drivers-for-ironclad-using-ada.av1.webm46.6 MiB2025-02-09 18:43:41
fosdem-2025-5013-repurposing-valve-s-steamvr-2-0-technology-to-develop-an-open-source-low-cost-motion-capture-system-for-robotics.mp4522.7 MiB2025-02-09 12:17:20
fosdem-2025-5013-repurposing-valve-s-steamvr-2-0-technology-to-develop-an-open-source-low-cost-motion-capture-system-for-robotics.av1.webm63.1 MiB2025-02-09 12:17:16
fosdem-2025-6523-hamnet-status-update.mp4994.9 MiB2025-02-09 09:56:43
fosdem-2025-6523-hamnet-status-update.av1.webm243.1 MiB2025-02-09 09:56:34
fosdem-2025-4880-welcome-to-the-ada-devroom.mp486.9 MiB2025-02-09 07:27:56
fosdem-2025-4880-welcome-to-the-ada-devroom.av1.webm21.7 MiB2025-02-09 07:27:55
fosdem-2025-5851-adabots-programmable-minetest-bots.mp4408.7 MiB2025-02-09 05:13:52
fosdem-2025-5851-adabots-programmable-minetest-bots.av1.webm66.7 MiB2025-02-09 05:13:46
fosdem-2025-6353-build-launch-and-soar-with-dronecode-the-infrastructure-ecosystem-for-the-development-of-autonomous-aerial-robotics-.mp4117.8 MiB2025-02-09 00:31:08
fosdem-2025-6353-build-launch-and-soar-with-dronecode-the-infrastructure-ecosystem-for-the-development-of-autonomous-aerial-robotics-.av1.webm23.7 MiB2025-02-09 00:31:06
fosdem-2025-6310-integration-and-unit-testing-in-ros-2.mp4107.3 MiB2025-02-08 18:14:44
fosdem-2025-6310-integration-and-unit-testing-in-ros-2.av1.webm18.6 MiB2025-02-08 18:14:43
fosdem-2025-4250-the-aff3ct-framework-for-building-numerical-communication-chains.mp4983.3 MiB2025-02-08 17:03:43
fosdem-2025-4250-the-aff3ct-framework-for-building-numerical-communication-chains.av1.webm131.4 MiB2025-02-08 17:03:30
fosdem-2025-5554-cryptography-in-spark-building-the-foundation-with-constant-time-bigints.mp4349.8 MiB2025-02-08 16:34:49
fosdem-2025-5554-cryptography-in-spark-building-the-foundation-with-constant-time-bigints.av1.webm38.4 MiB2025-02-08 16:34:44
fosdem-2025-5056-get-started-with-ada-in-2-minutes-or-less-.mp4218.4 MiB2025-02-08 12:18:20
fosdem-2025-5056-get-started-with-ada-in-2-minutes-or-less-.av1.webm34.4 MiB2025-02-08 12:18:17
fosdem-2025-5499-yet-another-new-sdr-runtime-.mp41.1 GiB2025-02-08 10:29:33
fosdem-2025-5499-yet-another-new-sdr-runtime-.av1.webm199.3 MiB2025-02-08 10:29:16
fosdem-2025-5723-m17-and-openrtx-one-year-later.mp41.0 GiB2025-02-08 08:31:33
fosdem-2025-5723-m17-and-openrtx-one-year-later.av1.webm157.5 MiB2025-02-08 08:31:18
fosdem-2025-4375-meshtastic-off-grid-communication-for-everyone.mp4988.2 MiB2025-02-08 07:16:23
fosdem-2025-4375-meshtastic-off-grid-communication-for-everyone.av1.webm194.2 MiB2025-02-08 07:16:07
fosdem-2025-5356-the-state-of-rust-trying-to-catch-up-with-ada.mp4422.9 MiB2025-02-07 23:12:27
fosdem-2025-5356-the-state-of-rust-trying-to-catch-up-with-ada.av1.webm51.2 MiB2025-02-07 23:12:20
fosdem-2025-5155-multiword-arithmetic-and-parallel-computing.mp4498.9 MiB2025-02-07 18:49:19
fosdem-2025-5155-multiword-arithmetic-and-parallel-computing.av1.webm103.0 MiB2025-02-07 18:49:11
fosdem-2025-4939-ada-and-mini-ada-a-solution-to-the-two-language-problem.mp4430.2 MiB2025-02-07 17:10:28
fosdem-2025-4939-ada-and-mini-ada-a-solution-to-the-two-language-problem.av1.webm62.2 MiB2025-02-07 17:10:21
fosdem-2025-5148-advent-of-compression-writing-a-working-bzip2-encoder-in-ada-from-scratch-in-a-few-days.mp4391.8 MiB2025-02-07 16:22:02
fosdem-2025-5148-advent-of-compression-writing-a-working-bzip2-encoder-in-ada-from-scratch-in-a-few-days.av1.webm62.8 MiB2025-02-07 16:21:56
fosdem-2025-6035-o3de-creating-realistic-simulations-with-open-source-game-engine.vtt35.8 KiB2025-02-05 18:06:03
fosdem-2025-5446-eclipse-zenoh-understanding-the-protocol-and-its-potential-in-robotic.vtt32.9 KiB2025-02-05 17:58:07
fosdem-2025-6448-whales-use-lighthouses-too-open-source-positioning-for-open-source-robots.vtt6.2 KiB2025-02-05 15:53:40
fosdem-2025-6448-whales-use-lighthouses-too-open-source-positioning-for-open-source-robots.mp4117.5 MiB2025-02-05 11:19:48
fosdem-2025-6448-whales-use-lighthouses-too-open-source-positioning-for-open-source-robots.av1.webm25.2 MiB2025-02-05 11:19:46
fosdem-2025-4871-developing-device-drivers-for-ironclad-using-ada.vtt18.4 KiB2025-02-05 10:30:10
fosdem-2025-6035-o3de-creating-realistic-simulations-with-open-source-game-engine.mp4592.5 MiB2025-02-05 07:06:31
fosdem-2025-6035-o3de-creating-realistic-simulations-with-open-source-game-engine.av1.webm219.7 MiB2025-02-05 07:06:24
fosdem-2025-5446-eclipse-zenoh-understanding-the-protocol-and-its-potential-in-robotic.mp4592.9 MiB2025-02-05 06:08:52
fosdem-2025-5446-eclipse-zenoh-understanding-the-protocol-and-its-potential-in-robotic.av1.webm134.1 MiB2025-02-05 06:08:44
fosdem-2025-6189-using-ai-hardware-accelerators-for-real-time-dsp-on-embedded-devices-npu-tpu-etc-.mp4875.0 MiB2025-02-04 14:16:09
fosdem-2025-6189-using-ai-hardware-accelerators-for-real-time-dsp-on-embedded-devices-npu-tpu-etc-.av1.webm176.5 MiB2025-02-04 14:15:58
fosdem-2025-5820-btstudio-a-web-tool-for-programming-robots-with-behavior-trees.vtt15.5 KiB2025-02-04 04:40:16
fosdem-2025-5820-btstudio-a-web-tool-for-programming-robots-with-behavior-trees.mp4394.0 MiB2025-02-03 23:35:58
fosdem-2025-5820-btstudio-a-web-tool-for-programming-robots-with-behavior-trees.av1.webm69.2 MiB2025-02-03 23:35:54