A component-based OS
☆202Aug 31, 2026Updated this week
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☆15Updated this week
- WebAssembly ahead-of-time compiler and runtime. Focuses on generating fast code, simplicity, and portability.☆351Jul 13, 2026Updated last month
- The Schedulability Test Collection And Toolkit☆44Sep 24, 2020Updated 5 years ago
- Mirror of the official Barrelfish OS repository.☆235Dec 9, 2022Updated 3 years ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆10Dec 25, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- SLEdge: a serverless runtime designed for the Edge.☆124Jul 21, 2026Updated last month
- Control and diagnostic applications for rump kernels☆36Mar 13, 2017Updated 9 years ago
- A reusable, extensible, and efficient C++ implementation of the Foster B-tree data structure☆15Jun 26, 2019Updated 7 years ago
- Framework for creating simple, efficient, and composable lock-free data structures☆12May 7, 2016Updated 10 years ago
- LiTL: Library for Transparent Lock Interposition☆86Jun 29, 2023Updated 3 years ago
- I was bored...☆13Feb 10, 2024Updated 2 years ago
- Tutorial files for using OpenNetVM☆17Aug 24, 2018Updated 8 years ago
- aarch64 stivale2 bootloader☆49Jan 26, 2023Updated 3 years ago
- The seL4 microkernel☆5,732Aug 25, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Pragmatic microkernel-based OS with fully asynchronous I/O☆1,973Updated this week
- High-performance multicore-scalable data structures and benchmarks☆143Jul 8, 2019Updated 7 years ago
- Ecore meta-model and examples☆15Sep 19, 2017Updated 8 years ago
- Utility to auto-adjust the brightness of i3wm workspaces☆13Jan 1, 2023Updated 3 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 4 years ago
- L4Ka::IDL4 Compiler☆19Sep 1, 2015Updated 11 years ago
- Cyclades☆28Apr 7, 2018Updated 8 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
- A high performance container-based NFV platform from GW and UCR.☆278Jun 26, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- bootOS is a monolithic operating system in 512 bytes of x86 machine code. The docs aren't guaranteed to be up-to-date☆18Jun 6, 2021Updated 5 years ago
- One part of my "this-is-why-we-cant-have-nice-thing" series☆12Dec 13, 2016Updated 9 years ago
- Simple out-of-process invoker☆19Jun 25, 2025Updated last year
- A minimal, experimental and "toy" monolithic kernel to learn about OS development // Work In Progress☆342Jan 30, 2024Updated 2 years ago
- Dennix is a unix-like hobbyist operating system written from scratch.☆161Jun 30, 2024Updated 2 years ago
- A small Rust library that allows users to reinterpret data of certain types safely.☆43Aug 26, 2021Updated 5 years ago
- Linux kernel hooking library☆21May 23, 2020Updated 6 years ago
- Forget about mode numbers and setting bits for pinmuxing. Let the tool think about them.☆17Nov 28, 2012Updated 13 years ago
- Erlang implementation built on GraalVM/Truffle☆15May 31, 2019Updated 7 years ago
- 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.
- Performance testing or system benchmarks for jemalloc☆33Apr 2, 2024Updated 2 years ago
- MESMERIC: A Software-based NVM Emulator Supporting Read/Write Asymmetric Latencies☆10Oct 1, 2020Updated 5 years ago
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆29Nov 24, 2020Updated 5 years ago
- Simple process management for WASM modules running in workers, based on WASI☆24Aug 16, 2026Updated 2 weeks ago
- Switches for HIRE: Resource Scheduling for Data Center In-Network Computing☆13Jan 18, 2021Updated 5 years ago
- 自嗨虚拟化软件 - 'Enjoy yourself' type-1 hypervisor software☆25Apr 21, 2022Updated 4 years ago
- Hobby operating system I'm making to learn OS development.☆10Dec 19, 2021Updated 4 years ago