A component-based OS
☆203Sep 27, 2026Updated 3 weeks ago
Alternatives and similar repositories for composite
Users that are interested in composite are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Parallel sections library for parallel data-structures☆15Aug 30, 2026Updated last month
- WebAssembly ahead-of-time compiler and runtime. Focuses on generating fast code, simplicity, and portability.☆353Jul 13, 2026Updated 3 months ago
- A light-weight alternative to processes for microcontrollers.☆40Jan 22, 2021Updated 5 years ago
- Silm your kernel with better configuration.☆41May 3, 2024Updated 2 years ago
- TACLe Benchmarks☆62Oct 25, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- The Schedulability Test Collection And Toolkit☆45Sep 24, 2020Updated 6 years ago
- The Quest Operating System☆51Dec 4, 2024Updated last year
- The Hedron Microhypervisor☆86Oct 8, 2023Updated 3 years ago
- Meta repository for the USENIX ATC'25 Publication "Accelerating Nested Virtualization with HyperTurtle"☆17Mar 22, 2026Updated 7 months ago
- Mirror of the official Barrelfish OS repository.☆238Dec 9, 2022Updated 3 years ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆10Dec 25, 2016Updated 9 years ago
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆29Jul 6, 2021Updated 5 years ago
- xv6 implementation in rust☆10May 13, 2020Updated 6 years ago
- Framework for creating simple, efficient, and composable lock-free data structures☆12May 7, 2016Updated 10 years ago
- 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.
- The development version of the L4Re Microkernel☆167Oct 16, 2026Updated last week
- A reusable, extensible, and efficient C++ implementation of the Foster B-tree data structure☆15Jun 26, 2019Updated 7 years ago
- Control and diagnostic applications for rump kernels☆36Mar 13, 2017Updated 9 years ago
- The seL4 microkernel☆5,833Updated this week
- POK kernel. Safe and secure for safety-critical systems.☆122Oct 3, 2026Updated 3 weeks ago
- The core components of the L4Re operating system.☆105Oct 16, 2026Updated last week
- I was bored...☆13Feb 10, 2024Updated 2 years ago
- RTOS based on L4 microkernel.☆18Sep 18, 2018Updated 8 years ago
- Pragmatic microkernel-based OS with fully asynchronous I/O☆1,993Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- LiTL: Library for Transparent Lock Interposition☆86Jun 29, 2023Updated 3 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Jul 22, 2026Updated 3 months ago
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆12Jun 28, 2024Updated 2 years ago
- Genode OS Framework (migrated to https://codeberg.org/genodelabs/genode)☆1,249May 20, 2026Updated 5 months ago
- Miracle is a mini OpenFlow Controller.☆14Jun 8, 2017Updated 9 years ago
- AOT compiler and static runtime for WebAssembly☆38Aug 26, 2021Updated 5 years ago
- POSIX-like scalable multicore research OS kernel☆198Apr 16, 2020Updated 6 years ago
- Tutorial files for using OpenNetVM☆17Aug 24, 2018Updated 8 years ago
- High-performance multicore-scalable data structures and benchmarks☆143Jul 8, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- NOVA userland☆50Jan 6, 2014Updated 12 years ago
- Volatile access to memory mapped hardware registers☆46Nov 8, 2023Updated 2 years ago
- Compilation of my own bootloader, kernel, libc, and userspace programs, all in x86-64☆18Apr 21, 2023Updated 3 years ago
- ☆15Oct 15, 2026Updated last week
- Basic tools for building seL4 projects☆57Updated this week
- ☆21Updated this week
- A generated thin wrapper around libsel4.a, with supporting subcrates.☆13Jan 24, 2022Updated 4 years ago