Capability Distribution Language tools for seL4
☆40Jul 20, 2026Updated this week
Alternatives and similar repositories for capdl
Users that are interested in capdl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- sel4 benchmarking applications and support library.☆22Jul 13, 2026Updated last week
- Test suite for seL4.☆31Jul 13, 2026Updated last week
- Basic tools for building seL4 projects☆55Jul 7, 2026Updated last week
- Tutorials for working with seL4 and/or CAmkES.☆60Jul 10, 2026Updated last week
- Component Architecture test suite and example apps.☆36Updated this week
- 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.
- The main CAmkES tool☆27Updated this week
- No-assurance libraries for rapid-prototyping of seL4 apps.☆60Updated this week
- The Rumprun unikernel and toolchain for various platforms☆11Mar 31, 2026Updated 3 months ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆25Updated this week
- Virtual Machine built as a CAmkES component.☆26May 28, 2026Updated last month
- Project to build and test seL4 for many different platforms☆17Updated this week
- ☆30Mar 31, 2026Updated 3 months ago
- seL4 Device Driver Framework☆23Dec 7, 2023Updated 2 years ago
- Isabelle/HOL proofs about the eChronos RTOS☆11Jun 13, 2017Updated 9 years ago
- 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.
- seL4 specification and proofs☆621Updated this week
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆16Jun 1, 2026Updated last month
- Microkit - A simple operating system framework for the seL4 microkernel☆193Updated this week
- ☆20May 19, 2026Updated 2 months ago
- `Pin`-based stopgap for unboxed aliasable values in self-referential data structures in Rust☆15Aug 27, 2022Updated 3 years ago
- Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.☆14May 28, 2026Updated last month
- ☆11Jan 23, 2022Updated 4 years ago
- Parser for ELF object format.☆12Dec 24, 2021Updated 4 years ago
- A Course in Data Structures & Algorithms, Purposeful Web Engineering, Software Construction☆10Sep 4, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Bare metal SDK for i.MX6 Q/D/DL/S/SL☆12Apr 1, 2018Updated 8 years ago
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆26Jun 1, 2026Updated last month
- The seL4 microkernel☆5,641Updated this week
- Pre-built copy of the web renderer for Swift-DocC documentation.☆24Updated this week
- A virtual machine monitor for the seL4 microkernel☆73Updated this week
- Experiments in `no_std` cooperative multitasking☆23Nov 19, 2018Updated 7 years ago
- Manifests for the collection of verification repositories☆17Updated this week
- Change all links on blog posts and news articles links' to their archive.org snapshot on the date of publication☆12May 12, 2026Updated 2 months ago
- A toy programming language you use to build other toys☆13May 15, 2025Updated last year
- 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.
- ☆17Dec 29, 2018Updated 7 years ago
- Description and configuration of my infrastructure: Computers, Phone, Servers and 3D printer.☆16Jul 10, 2026Updated last week
- General-purpose keymap management à-la Emacs☆15Jan 27, 2025Updated last year
- Multiboot library written in rust.☆24Jan 6, 2023Updated 3 years ago
- WebAssembly Micro Runtime Application Framework☆29May 13, 2024Updated 2 years ago
- Advent of Code for 2021☆14Dec 3, 2021Updated 4 years ago
- Production infrastructure configuration for Danbooru.☆16May 15, 2026Updated 2 months ago