A component-based OS
☆199Feb 18, 2026Updated last week
Alternatives and similar repositories for composite
Users that are interested in composite are comparing it to the libraries listed below
Sorting:
- WebAssembly ahead-of-time compiler and runtime. Focuses on generating fast code, simplicity, and portability.☆343Nov 19, 2025Updated 3 months ago
- Parallel sections library for parallel data-structures☆14Oct 30, 2023Updated 2 years ago
- SLEdge: a serverless runtime designed for the Edge.☆120Dec 13, 2025Updated 2 months ago
- Mirror of the official Barrelfish OS repository.☆224Dec 9, 2022Updated 3 years ago
- Common utilities useful for embedded systems that are often not included in an RTOS or the standard C library.☆27Dec 6, 2023Updated 2 years ago
- I was bored...☆13Feb 10, 2024Updated 2 years ago
- CoreMark 1.0 ported to WebAssembly☆44Apr 2, 2021Updated 4 years ago
- LiTL: Library for Transparent Lock Interposition☆86Jun 29, 2023Updated 2 years ago
- [FCCM 2023] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs☆13Jun 26, 2025Updated 8 months ago
- Wireguard for Zephyr RTOS☆15Dec 28, 2025Updated 2 months ago
- ☆13Updated this week
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- C Compiler written in WASI☆11Jun 14, 2020Updated 5 years ago
- A #[no_std], allocation-free WebAssembly interpreter written in Rust☆15May 11, 2019Updated 6 years ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆10Dec 25, 2016Updated 9 years ago
- ESPBench - The Enterprise Stream Processing Benchmark☆15Dec 27, 2023Updated 2 years ago
- APL-like functions for use from Lua.☆18Mar 23, 2015Updated 10 years ago
- Pragmatic microkernel-based OS with fully asynchronous I/O☆1,856Updated this week
- The seL4 microkernel☆5,330Updated this week
- Various resources used for discovery work in relation to Internal Developer Platforms☆14Oct 28, 2024Updated last year
- Pack unit 3D vectors (such as normal vectors) into integer type☆17May 21, 2016Updated 9 years ago
- MESMERIC: A Software-based NVM Emulator Supporting Read/Write Asymmetric Latencies☆10Oct 1, 2020Updated 5 years ago
- Framework for creating simple, efficient, and composable lock-free data structures☆12May 7, 2016Updated 9 years ago
- Example project showing how to use buildroot and fwup☆27Apr 6, 2016Updated 9 years ago
- Kakao Linux☆39May 30, 2025Updated 9 months ago
- Silm your kernel with better configuration.☆39May 3, 2024Updated last year
- Akka.Js DOM framework☆12Jul 17, 2018Updated 7 years ago
- Rust XDR interoperability library and codegen☆16Jul 8, 2022Updated 3 years ago
- p4 language running on Snabb Switch (work-in-progress)☆12Feb 27, 2016Updated 10 years ago
- PowerDNS CLI☆25Jul 22, 2016Updated 9 years ago
- A Zig implementation of the paper Decoding >100 Billion Integers per Second with Scalar Code.☆14Jun 17, 2024Updated last year
- Software Transactional Objects☆56Apr 5, 2024Updated last year
- Modular framework for TCP specification conformance testing☆19May 22, 2020Updated 5 years ago
- Megaphone: Latency-conscious state migration☆19Jan 25, 2020Updated 6 years ago
- A 64-bit bootloader for RISC-V☆16Nov 27, 2023Updated 2 years ago
- A simple Minecraft clone written in C using modern OpenGL (shaders).☆18Sep 29, 2025Updated 5 months ago
- High-performance multicore-scalable data structures and benchmarks☆144Jul 8, 2019Updated 6 years ago
- Linux kernel hooking library☆21May 23, 2020Updated 5 years ago
- WebAssembly model in Redex☆16May 16, 2019Updated 6 years ago