A component-based OS
☆200Feb 18, 2026Updated 5 months 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:
- WebAssembly ahead-of-time compiler and runtime. Focuses on generating fast code, simplicity, and portability.☆349Jul 13, 2026Updated last week
- 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
- SLEdge: a serverless runtime designed for the Edge.☆124Updated this week
- Control and diagnostic applications for rump kernels☆36Mar 13, 2017Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A reusable, extensible, and efficient C++ implementation of the Foster B-tree data structure☆15Jun 26, 2019Updated 7 years ago
- LiTL: Library for Transparent Lock Interposition☆86Jun 29, 2023Updated 3 years ago
- I was bored...☆13Feb 10, 2024Updated 2 years ago
- aarch64 stivale2 bootloader☆49Jan 26, 2023Updated 3 years ago
- The seL4 microkernel☆5,650Updated this week
- Pragmatic microkernel-based OS with fully asynchronous I/O☆1,957Updated this week
- High-performance multicore-scalable data structures and benchmarks☆143Jul 8, 2019Updated 7 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 4 years ago
- L4Ka::IDL4 Compiler☆19Sep 1, 2015Updated 10 years ago
- 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.
- A high performance container-based NFV platform from GW and UCR.☆278Jun 26, 2024Updated 2 years ago
- The Quest Operating System☆50Dec 4, 2024Updated last year
- A Zig implementation of the paper Decoding >100 Billion Integers per Second with Scalar Code.☆14Jun 17, 2024Updated 2 years ago
- ☆16Nov 13, 2023Updated 2 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 5 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.☆162Jun 30, 2024Updated 2 years ago
- 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 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Linux kernel hooking library☆21May 23, 2020Updated 6 years ago
- ☆15Apr 26, 2021Updated 5 years ago
- Forget about mode numbers and setting bits for pinmuxing. Let the tool think about them.☆17Nov 28, 2012Updated 13 years ago
- more fortunes from various sources☆10Nov 28, 2011Updated 14 years 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
- ☆12Sep 8, 2020Updated 5 years ago
- 🤓 Build your own <insert technology here>☆17May 22, 2018Updated 8 years ago
- Simple unix-like operating system for education and research purposes☆307Sep 3, 2024Updated last year
- 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.
- A research kernel written in modern C++.☆25Jan 25, 2022Updated 4 years ago
- Difference calculations for the terminal☆12Dec 27, 2023Updated 2 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Mar 11, 2022Updated 4 years ago
- Common Trace Format requirements and specifications☆11Feb 7, 2023Updated 3 years ago
- Ported software for HelenOS.☆22Mar 13, 2026Updated 4 months ago
- Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming☆49Aug 31, 2015Updated 10 years ago
- (Dis)assembler and analyzer generated from the machine-readable ARMv8.3-A specification☆28Jan 28, 2018Updated 8 years ago