The seL4 microkernel
☆26Sep 6, 2023Updated 2 years ago
Alternatives and similar repositories for sparrow-kernel
Users that are interested in sparrow-kernel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Manifests for the collection of verification repositories☆17Aug 9, 2026Updated last week
- ☆26Dec 12, 2017Updated 8 years ago
- Lustre HSM tools☆27Aug 27, 2019Updated 6 years ago
- Go interface for Lustre's utility library (liblustreapi).☆11Mar 9, 2022Updated 4 years ago
- Role os_octavia for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆11Jun 25, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- MOVED: now at https://opendev.org/windmill/ansible-role-nginx☆10Sep 26, 2019Updated 6 years ago
- Role os_watcher for OpenStack-Ansible☆10Aug 22, 2019Updated 6 years ago
- Ril Daemon for cellular module☆10Aug 7, 2022Updated 4 years ago
- Role os_barbican for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆12Jun 8, 2026Updated 2 months ago
- Role os_zaqar for OpenStack-Ansible☆11Aug 22, 2019Updated 6 years ago
- Role os_heat for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆13Jun 8, 2026Updated 2 months ago
- Role os_magnum for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆12Jun 12, 2026Updated 2 months ago
- Role os_ceilometer for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆14Jun 8, 2026Updated 2 months ago
- https://hub.docker.com/r/clangbuiltlinux/ubuntu/☆12Jan 20, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Assembly Bootloader with C Kernel☆17Sep 25, 2015Updated 10 years ago
- DEPRECATED, Role rsyslog_server for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆14Mar 14, 2024Updated 2 years ago
- DEPRECATED, role galera_client for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆14Jan 20, 2022Updated 4 years ago
- Role os_gnocchi for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆14Jun 9, 2026Updated 2 months ago
- Role os_cinder for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆14Jun 10, 2026Updated 2 months ago
- SCU Firmware (based on Chromium EC) for embedded USRP Devices. Report issues on the UHD repository!☆15Jul 31, 2026Updated 2 weeks ago
- Role os_swift for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆17Jun 8, 2026Updated 2 months ago
- DEPRECATED, Common testing content for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆15Nov 27, 2025Updated 8 months ago
- Role apt_package_pinning for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆15Jun 8, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Role pip_install for OpenStack-Ansible☆14Apr 25, 2020Updated 6 years ago
- Role os_glance for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆14Jun 10, 2026Updated 2 months ago
- WCHlink module can be used for online debugging and downloading of qinheng risc-v architecture MCU, and also for online debugging and do…☆14Jan 7, 2022Updated 4 years ago
- Role os_tempest for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆15Jun 8, 2026Updated 2 months ago
- N-dimensional RTree implementation in C☆21Nov 27, 2018Updated 7 years ago
- Role Ironic for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆18Jun 8, 2026Updated 2 months ago
- Course materials for RU Python IV☆12May 27, 2020Updated 6 years ago
- ☆19Updated this week
- An Ansible role that installs uWSGI, in the format for Ansible Galaxy☆15Nov 5, 2016Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆14Apr 22, 2014Updated 12 years ago
- Role repo_server for OpenStack-Ansible☆16Apr 26, 2020Updated 6 years ago
- Role ceph_client for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆17Aug 3, 2026Updated 2 weeks ago
- Role os_designate for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆17Jun 8, 2026Updated 2 months ago
- e300 and u500 devkits☆10Nov 15, 2020Updated 5 years ago
- Cracking the coding interview solutions in c++☆13Dec 12, 2013Updated 12 years ago
- ⌚ SystemD Manager, watchdog, notifier and service☆13Jun 6, 2026Updated 2 months ago