Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.
☆23Mar 25, 2026Updated this week
Alternatives and similar repositories for camkes-manifest
Users that are interested in camkes-manifest 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.☆20Dec 18, 2025Updated 3 months ago
- The main CAmkES tool☆27Updated this week
- Component Architecture test suite and example apps.☆34Updated this week
- This is the source of the seL4 docs.☆18Updated this week
- Test suite for seL4.☆30Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Project to build and test seL4 for many different platforms☆17Updated this week
- ☆17Nov 22, 2025Updated 4 months ago
- A minimal runtime for seL4 applications.☆14Mar 17, 2025Updated last year
- ☆61Jan 29, 2026Updated 2 months ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆57Mar 16, 2026Updated last week
- Basic tools for building seL4 projects☆53Mar 11, 2026Updated 2 weeks ago
- For RaspberryPi4 support, use upstream directly. Everything was merged there already. "Das U-Boot" Source Tree☆11Jul 24, 2019Updated 6 years ago
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆15Oct 8, 2025Updated 5 months ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆48Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- NOVA userland☆49Jan 6, 2014Updated 12 years ago
- Microkit - A simple operating system framework for the seL4 microkernel☆177Updated this week
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆24Oct 8, 2025Updated 5 months ago
- 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.☆24Updated this week
- Reference manual for the Genode OS Framework (migrated to codeberg.org)☆24Oct 30, 2025Updated 5 months ago
- Caliptra MCU Software☆25Updated this week
- ☆10Sep 9, 2019Updated 6 years ago
- seL4 Device Driver Framework☆23Dec 7, 2023Updated 2 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.
- RTOS based on L4 microkernel.☆18Sep 18, 2018Updated 7 years ago
- ☆14Jun 2, 2025Updated 9 months ago
- Qubes component: core-qubesdb☆12Feb 20, 2026Updated last month
- A flexible trapdoor extension for the AMIGA 500☆15Mar 14, 2021Updated 5 years ago
- distribution template for openqa tests☆10Feb 18, 2026Updated last month
- The Weston Wayland Compositor☆41Apr 14, 2014Updated 11 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆228Updated this week
- Qubes component: core-vchan-xen☆15Feb 20, 2026Updated last month
- Code repository for R Machine Learning Techniques, published by Packt☆11Jan 14, 2021Updated 5 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- This plugin provides native instrumentation for monitoring Consul, including: Consul server service and cluster health, and querying the …☆13Apr 28, 2021Updated 4 years ago
- TWRP Recovery device files for Xiaomi Note pro☆10Jul 19, 2015Updated 10 years ago
- everyday parsing, language tools, and more☆16Mar 11, 2026Updated 2 weeks ago
- ☆10Sep 28, 2017Updated 8 years ago
- ☆11Aug 20, 2015Updated 10 years ago
- Crystal wrapper for libcmark, the reference CommonMark C library☆19Nov 25, 2021Updated 4 years ago
- ☆12Dec 11, 2021Updated 4 years ago