Apps for running with the rumprun unikernel on seL4.
☆33Mar 28, 2026Updated this week
Alternatives and similar repositories for rumprun-sel4-demoapps
Users that are interested in rumprun-sel4-demoapps are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Rumprun unikernel and toolchain for various platforms☆11Jul 2, 2024Updated last year
- sel4 benchmarking applications and support library.☆20Dec 18, 2025Updated 3 months ago
- The main CAmkES tool☆27Updated this week
- Prototype no-assurance reference OS personality built on seL4☆51Mar 17, 2025Updated last year
- A Cargo subcommand for working with feL4 projects.☆52Jun 5, 2018Updated 7 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.
- Component Architecture test suite and example apps.☆34Updated this week
- Test suite for seL4.☆30Updated this week
- Capability Distribution Language tools for seL4☆38Updated this week
- Tutorials for working with seL4 and/or CAmkES.☆58Feb 17, 2026Updated last month
- Project to build and test seL4 for many different platforms☆17Updated this week
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆121Jul 25, 2023Updated 2 years ago
- This is the source of the seL4 docs.☆18Updated this week
- Basic tools for building seL4 projects☆53Mar 11, 2026Updated 2 weeks ago
- ☆17Nov 22, 2025Updated 4 months 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.
- No-assurance libraries for rapid-prototyping of seL4 apps.☆57Mar 16, 2026Updated last week
- ☆22May 21, 2024Updated last year
- Phoenix (Elixir) like channels for Dream (Ocaml)☆15Jul 20, 2021Updated 4 years ago
- ☆29Nov 12, 2025Updated 4 months ago
- ☆61Jan 29, 2026Updated 2 months ago
- Automates the build of pkgsrc binary packages in a sandbox☆15Mar 14, 2022Updated 4 years ago
- Pre-built copy of the web renderer for Swift-DocC documentation.☆24Updated this week
- Record and play the results of monadic actions☆13Mar 18, 2018Updated 8 years ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆23Updated this 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.
- Trevisor - A single guest hypervisor with full disk encryption☆18Sep 19, 2016Updated 9 years ago
- Experiments in `no_std` cooperative multitasking☆23Nov 19, 2018Updated 7 years ago
- Comparative analysis of desktop environments, window managers, and display managers across different operating systems. Quantitative metr…☆20Feb 1, 2025Updated last year
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 3 years ago
- mirror: https://git.kernel.org/cgit/linux/kernel/git/devicetree/devicetree-rebasing.git/☆11Jan 28, 2020Updated 6 years ago
- PARSEC 3.0 benchmark suite☆13May 12, 2018Updated 7 years ago
- Minimal PID 1 for initramfs☆19Jan 16, 2025Updated last year
- Local Storage in Elm☆17Dec 19, 2015Updated 10 years ago
- The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".☆41Nov 12, 2025Updated 4 months ago
- 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.
- A GraphQL document and schema language based on S-expressions in Clojure & ClojureScript☆11Apr 25, 2020Updated 5 years ago
- A browser extension to block unencrypted web traffic for added security.☆18May 27, 2015Updated 10 years ago
- Subgraph pH☆14Mar 20, 2026Updated last week
- ☆10Jun 30, 2021Updated 4 years ago
- ThreadX☆23Sep 4, 2018Updated 7 years ago
- USB armory: open source flash-drive-sized computer☆11Dec 8, 2015Updated 10 years ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago