A component-based OS
☆202Sep 27, 2026Updated last 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:
- WebAssembly ahead-of-time compiler and runtime. Focuses on generating fast code, simplicity, and portability.☆353Jul 13, 2026Updated 2 months ago
- The Schedulability Test Collection And Toolkit☆45Sep 24, 2020Updated 6 years ago
- Mirror of the official Barrelfish OS repository.☆239Dec 9, 2022Updated 3 years ago
- Silm your kernel with better configuration.☆41May 3, 2024Updated 2 years ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆10Dec 25, 2016Updated 9 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.
- 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
- The seL4 microkernel☆5,787Updated this week
- Pragmatic microkernel-based OS with fully asynchronous I/O☆1,982Updated this week
- High-performance multicore-scalable data structures and benchmarks☆143Jul 8, 2019Updated 7 years ago
- Ecore meta-model and examples☆15Sep 19, 2017Updated 9 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.
- 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
- 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
- Persistent shared memory (inter-process) maps with STL containers and TTL support☆18May 23, 2026Updated 4 months ago
- A high performance container-based NFV platform from GW and UCR.☆277Jun 26, 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☆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
- A minimal, experimental and "toy" monolithic kernel to learn about OS development // Work In Progress☆342Jan 30, 2024Updated 2 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.
- 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☆20May 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
- MESMERIC: A Software-based NVM Emulator Supporting Read/Write Asymmetric Latencies☆10Oct 1, 2020Updated 6 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
- Hobby operating system I'm making to learn OS development.☆10Dec 19, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Arduino library to support I-NUCLEO-LRWAN1 LoRa® expansion board based on USI® LoRaWAN™ technology module.☆17Sep 4, 2025Updated last year
- ☆190Mar 8, 2020Updated 6 years ago
- Simple unix-like operating system for education and research purposes☆307Sep 3, 2024Updated 2 years ago
- A research kernel written in modern C++.☆25Jan 25, 2022Updated 4 years ago
- Source code of Research Unix v10, released by The Unix Heritage Society.☆51Feb 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
- Succinct binary serialization☆15Aug 26, 2018Updated 8 years ago