sel4 benchmarking applications and support library.
☆21Mar 31, 2026Updated last week
Alternatives and similar repositories for sel4bench
Users that are interested in sel4bench are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Capability Distribution Language tools for seL4☆38Mar 31, 2026Updated last week
- Test suite for seL4.☆30Updated this week
- The main CAmkES tool☆27Mar 31, 2026Updated last week
- Tutorials for working with seL4 and/or CAmkES.☆58Mar 31, 2026Updated last week
- No-assurance libraries for rapid-prototyping of seL4 apps.☆57Mar 31, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Component Architecture test suite and example apps.☆34Mar 31, 2026Updated last week
- This is the source of the seL4 docs.☆18Updated this week
- Basic tools for building seL4 projects☆53Apr 5, 2026Updated last week
- Virtual Machine built as a CAmkES component.☆24Mar 31, 2026Updated last week
- A minimal runtime for seL4 applications.☆14Mar 31, 2026Updated last week
- The Rumprun unikernel and toolchain for various platforms☆11Mar 31, 2026Updated last week
- ☆62Mar 31, 2026Updated last week
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆15Oct 8, 2025Updated 6 months ago
- ☆17Updated this 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.
- Project to build and test seL4 for many different platforms☆17Updated this week
- Apps for running with the rumprun unikernel on seL4.☆33Updated this week
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆25Oct 8, 2025Updated 6 months ago
- ☆29Mar 31, 2026Updated last week
- seL4 Device Driver Framework☆23Dec 7, 2023Updated 2 years ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆50Updated this week
- seL4 specification and proofs☆596Updated this week
- Advanced Operating Systems project manifest☆15Sep 6, 2025Updated 7 months ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Aug 1, 2014Updated 11 years ago
- 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.
- Pre-built copy of the web renderer for Swift-DocC documentation.☆24Updated this week
- Vector Bazel Rules and Toolchains☆15Mar 2, 2026Updated last month
- Let's write an OS which can run on ARM in Rust from scratch! (🚧WIP)☆17Mar 13, 2022Updated 4 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆228Updated this week
- Software bootloader for boards running Tock.☆27Feb 7, 2024Updated 2 years ago
- d-EVD-dual-electric-vehicle-dataset☆13Aug 21, 2025Updated 7 months ago
- Peephole optimizer for QBE☆32Sep 1, 2025Updated 7 months ago
- Source code for 'Software Exorcism' by Bill Blunden☆13Mar 30, 2017Updated 9 years ago
- A virtual machine monitor for the seL4 microkernel☆58Updated this week
- 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.
- S.A.R.A. development branch. Rebased often. Use at your own risk.☆10Mar 21, 2021Updated 5 years ago
- An async rpc implementation based on tokio and compatible with OCaml Async_rpc☆11Feb 13, 2023Updated 3 years ago
- A simple operating system (SOS) built on top of the seL4 microkernel☆12Mar 3, 2018Updated 8 years ago
- crc32 implementation in a myriad of languages.☆10Apr 23, 2015Updated 10 years ago
- A risc-v simulator based on SystrmC☆14Jan 7, 2022Updated 4 years ago
- ☆19Mar 31, 2026Updated last week
- Buildkite trigger for Gerrit☆11Feb 13, 2025Updated last year