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:
- ☆26Dec 12, 2017Updated 8 years ago
- MOVED: now at https://opendev.org/x/ansible-role-bindep☆10Sep 26, 2019Updated 6 years ago
- MOVED: now at https://opendev.org/windmill/ansible-role-nginx☆10Sep 26, 2019Updated 6 years ago
- Role os_sahara for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆11Nov 21, 2024Updated last year
- Role os_watcher for OpenStack-Ansible☆10Aug 22, 2019Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Role os_trove for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆12Jul 3, 2026Updated 3 weeks ago
- Ril Daemon for cellular module☆10Aug 7, 2022Updated 3 years ago
- Role os_barbican for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆12Jun 8, 2026Updated last month
- Role os_zaqar for OpenStack-Ansible☆11Aug 22, 2019Updated 6 years ago
- Role os_magnum for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆12Jun 12, 2026Updated last month
- Role os_ceilometer for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆14Jun 8, 2026Updated last month
- Role os_cloudkitty for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆11Jun 8, 2026Updated last month
- https://hub.docker.com/r/clangbuiltlinux/ubuntu/☆12Jan 20, 2021Updated 5 years ago
- DEPRECATED, Role rsyslog_server for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆14Mar 14, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Role os_gnocchi for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆14Jun 9, 2026Updated last month
- Role os_aodh for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆13Jun 8, 2026Updated last month
- Role os_cinder for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆14Jun 10, 2026Updated last month
- SCU Firmware (based on Chromium EC) for embedded USRP Devices. Report issues on the UHD repository!☆15Sep 4, 2024Updated last year
- 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 last month
- Role os_glance for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆14Jun 10, 2026Updated last month
- 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_monasca for OpenStack-Ansible☆15Oct 23, 2019Updated 6 years 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 os_tempest for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆15Jun 8, 2026Updated last month
- Configures multiple ZNC bouncer instances so each client can have its own scroll back log.☆20Feb 24, 2021Updated 5 years ago
- Role lxc_container_create for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆16Jun 8, 2026Updated last month
- Role openstack_openrc for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆17Jun 8, 2026Updated last month
- N-dimensional RTree implementation in C☆21Nov 27, 2018Updated 7 years ago
- Library of FPGA architectures☆34Jul 20, 2026Updated last week
- Role Ironic for OpenStack-Ansible. Mirror of code maintained at opendev.org.☆18Jun 8, 2026Updated last month
- Course materials for RU Python IV☆12May 27, 2020Updated 6 years ago
- Official SUSE OpenStack Cloud documentation☆13Nov 2, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆19Jun 18, 2026Updated last month
- 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 repo_server for OpenStack-Ansible☆16Apr 26, 2020Updated 6 years ago
- ☆26Aug 17, 2022Updated 3 years ago
- Linux zonefs userland tools☆21Aug 18, 2025Updated 11 months ago
- Productivity tools for large scale software development workflows☆14Sep 26, 2021Updated 4 years ago