Capability Distribution Language tools for seL4
☆38Mar 31, 2026Updated last 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.☆21Mar 31, 2026Updated last week
- Test suite for seL4.☆30Updated this week
- This is the source of the seL4 docs.☆18Updated this week
- Basic tools for building seL4 projects☆53Updated this week
- Tutorials for working with seL4 and/or CAmkES.☆58Mar 31, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Component Architecture test suite and example apps.☆34Mar 31, 2026Updated last week
- No-assurance libraries for rapid-prototyping of seL4 apps.☆57Mar 31, 2026Updated last week
- The main CAmkES tool☆27Mar 31, 2026Updated last week
- A minimal runtime for seL4 applications.☆14Mar 31, 2026Updated last week
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆23Updated this week
- Virtual Machine built as a CAmkES component.☆24Mar 31, 2026Updated last week
- Project to build and test seL4 for many different platforms☆17Updated this week
- The Rumprun unikernel and toolchain for various platforms☆11Mar 31, 2026Updated last week
- ☆62Mar 31, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- seL4 Device Driver Framework☆23Dec 7, 2023Updated 2 years ago
- ☆17Updated this week
- seL4 specification and proofs☆597Apr 2, 2026Updated last week
- Isabelle/HOL proofs about the eChronos RTOS☆11Jun 13, 2017Updated 8 years ago
- Apps for running with the rumprun unikernel on seL4.☆33Mar 31, 2026Updated last week
- ☆19Mar 31, 2026Updated last week
- Microkit - A simple operating system framework for the seL4 microkernel☆179Mar 31, 2026Updated last week
- A message-passing library, intended for simplifying network applications☆44Apr 7, 2018Updated 8 years ago
- Parser for ELF object format.☆12Dec 24, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An intensely interactive, graphical theorem prover based on natural deduction☆29Aug 1, 2014Updated 11 years ago
- Pre-built copy of the web renderer for Swift-DocC documentation.☆24Apr 2, 2026Updated last week
- Manifests for the collection of verification repositories☆17Apr 2, 2026Updated last week
- mirror: https://git.kernel.org/cgit/linux/kernel/git/devicetree/devicetree-rebasing.git/☆11Jan 28, 2020Updated 6 years ago
- Test framework for OCaml☆34Mar 24, 2026Updated 2 weeks ago
- Light library to deal with RPCs in OCaml☆100Updated this week
- Simple and ergonomic HTTP client for Haskell☆19Mar 26, 2026Updated 2 weeks ago
- A Coq formalization of the textbook Categories and Toposes: Visualized and Explained☆21Sep 21, 2022Updated 3 years ago
- Recreation of UIndows in applicable theme form☆13Jun 9, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Apr 8, 2025Updated last year
- The Grease Portability Library☆20Jan 2, 2026Updated 3 months ago
- ☆16Apr 11, 2023Updated 3 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆26Jan 9, 2022Updated 4 years ago
- Splice 2 sockets together in Erlang☆11Feb 10, 2022Updated 4 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 5 years ago
- Datatype-generic object-oriented transformations for OCaml☆17Nov 16, 2025Updated 4 months ago