A component-based OS
☆199Feb 18, 2026Updated last month
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☆14Oct 30, 2023Updated 2 years ago
- WebAssembly ahead-of-time compiler and runtime. Focuses on generating fast code, simplicity, and portability.☆345Nov 19, 2025Updated 4 months ago
- Mirror of the official Barrelfish OS repository.☆227Dec 9, 2022Updated 3 years ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆10Dec 25, 2016Updated 9 years ago
- Control and diagnostic applications for rump kernels☆36Mar 13, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An microkernel focusing on hyperadaptability, hyperreusability, and hyperdeployability.☆93Jun 9, 2025Updated 10 months ago
- A reusable, extensible, and efficient C++ implementation of the Foster B-tree data structure☆15Jun 26, 2019Updated 6 years ago
- I was bored...☆13Feb 10, 2024Updated 2 years ago
- LiTL: Library for Transparent Lock Interposition☆86Jun 29, 2023Updated 2 years ago
- The seL4 microkernel☆5,417Updated this week
- aarch64 stivale2 bootloader☆49Jan 26, 2023Updated 3 years ago
- Pragmatic microkernel-based OS with fully asynchronous I/O☆1,873Apr 6, 2026Updated last week
- Ecore meta-model and examples☆14Sep 19, 2017Updated 8 years ago
- High-performance multicore-scalable data structures and benchmarks☆144Jul 8, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A virtual machine monitor for MCUs, as well as a MCU-oriented user-level library for M7M01.☆16Jun 20, 2025Updated 9 months ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 4 years ago
- NOVA Microhypervisor☆447Feb 25, 2026Updated last month
- ☆29Jun 22, 2023Updated 2 years ago
- Cyclades☆28Apr 7, 2018Updated 8 years ago
- A high performance container-based NFV platform from GW and UCR.☆277Jun 26, 2024Updated last year
- ☆16Nov 13, 2023Updated 2 years ago
- Linux kernel hooking library☆21May 23, 2020Updated 5 years ago
- bootOS is a monolithic operating system in 512 bytes of x86 machine code. The docs aren't guaranteed to be up-to-date☆16Jun 6, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Simple out-of-process invoker☆19Jun 25, 2025Updated 9 months ago
- A small Rust library that allows users to reinterpret data of certain types safely.☆42Aug 26, 2021Updated 4 years ago
- One part of my "this-is-why-we-cant-have-nice-thing" series☆12Dec 13, 2016Updated 9 years ago
- ☆15Apr 26, 2021Updated 4 years ago
- Dennix is a unix-like hobbyist operating system written from scratch.☆162Jun 30, 2024Updated last year
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- Simple process management for WASM modules running in workers, based on WASI☆23Feb 7, 2026Updated 2 months ago
- A research kernel written in modern C++.☆25Jan 25, 2022Updated 4 years ago
- Switches for HIRE: Resource Scheduling for Data Center In-Network Computing☆13Jan 18, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆28Nov 24, 2020Updated 5 years ago
- Hobby operating system I'm making to learn OS development.☆10Dec 19, 2021Updated 4 years ago
- CoreMark 1.0 ported to WebAssembly☆45Apr 2, 2021Updated 5 years ago
- Simple unix-like operating system for education and research purposes☆310Sep 3, 2024Updated last year
- Source code of Research Unix v10, released by The Unix Heritage Society.☆48Feb 24, 2019Updated 7 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Mar 11, 2022Updated 4 years ago
- FreeBSD kernel debugging scripts☆27Feb 26, 2025Updated last year