The seL4 microkernel
☆26Sep 6, 2023Updated 3 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☆17Updated this week
- Read the docs repository for the Open Channel SSDs project☆13Aug 24, 2021Updated 5 years ago
- Lustre HSM tools☆27Aug 27, 2019Updated 7 years ago
- MOVED: now at https://opendev.org/x/ansible-role-bindep☆10Sep 26, 2019Updated 6 years ago
- Role os_octavia for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆11Updated this week
- 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.
- MOVED: now at https://opendev.org/windmill/ansible-role-nginx☆10Sep 26, 2019Updated 6 years ago
- Role os_trove for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆12Aug 26, 2026Updated last week
- Role os_heat for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆13Aug 28, 2026Updated last week
- Role os_barbican for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆12Jun 8, 2026Updated 2 months ago
- Role os_magnum for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆12Aug 31, 2026Updated last week
- Role os_zaqar for OpenStack-Ansible☆11Aug 22, 2019Updated 7 years ago
- Role os_ceilometer for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆14Aug 24, 2026Updated 2 weeks ago
- https://hub.docker.com/r/clangbuiltlinux/ubuntu/☆12Jan 20, 2021Updated 5 years ago
- Spins up dev/test VMs and bakes cloud images.☆15Feb 20, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- DEPRECATED, role galera_client for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆14Jan 20, 2022Updated 4 years ago
- Role os_aodh for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆13Jun 8, 2026Updated 2 months ago
- MOVED: now at https://opendev.org/x/ansible-role-shade☆13Sep 26, 2019Updated 6 years ago
- vimrc conf , Perfect support Go and Rust☆11Feb 25, 2023Updated 3 years ago
- SCU Firmware (based on Chromium EC) for embedded USRP Devices. Report issues on the UHD repository!☆15Jul 31, 2026Updated last month
- Role memcached_server for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆18Aug 28, 2026Updated last week
- DEPRECATED, Common testing content for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆15Nov 27, 2025Updated 9 months ago
- Role apt_package_pinning for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆15Aug 26, 2026Updated last week
- Role pip_install for OpenStack-Ansible☆14Apr 25, 2020Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- DEPRECATED, Role rsyslog_client for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆15Apr 17, 2024Updated 2 years ago
- Role os_glance for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆14Aug 26, 2026Updated last week
- 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
- Role lxc_container_create for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆16Updated this week
- 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
- Official SUSE OpenStack Cloud documentation☆13Nov 2, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆19Updated this week
- An Ansible role that installs uWSGI, in the format for Ansible Galaxy☆15Nov 5, 2016Updated 9 years ago
- Mirror of NeTV FPGA Verilog Code☆15Jan 21, 2012Updated 14 years ago
- Role haproxy_server for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆18Updated this week
- Ansible role to manage systemd networkd. Mirror of code maintained at opendev.org.☆19Updated this week
- Role repo_server for OpenStack-Ansible☆16Apr 26, 2020Updated 6 years ago
- ☆26Aug 17, 2022Updated 4 years ago