AmbiML / sparrow-manifestView external linksLinks
Project Sparrow: Repo Materials
☆23Jul 7, 2023Updated 2 years ago
Alternatives and similar repositories for sparrow-manifest
Users that are interested in sparrow-manifest are comparing it to the libraries listed below
Sorting:
- The seL4 microkernel☆5,312Updated this week
- A secure embedded operating system for microcontrollers☆6,225Updated this week
- ☆10Sep 6, 2023Updated 2 years ago
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆17,564Feb 10, 2026Updated last week
- OpenTitan: Open source silicon root of trust☆3,132Updated this week
- Hermit for Rust.☆1,874Updated this week
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆3,118Sep 22, 2024Updated last year
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,432Updated this week
- An operating system designed for hosting containers☆9,529Updated this week
- Adding support for the Rust language to the Linux kernel.☆4,320Feb 10, 2026Updated last week
- Secure and fast microVMs for serverless computing.☆32,430Updated this week
- A Scalable, User-Friendly Source Control System.☆6,729Updated this week
- An interpreter for Rust's mid-level intermediate representation☆5,901Updated this week
- A modern TLS library in Rust☆7,237Updated this week
- Microkit - A simple operating system framework for the seL4 microkernel☆172Updated this week
- Rust for Windows☆11,950Updated this week
- A native gRPC client & server implementation with async/await support.☆11,836Updated this week
- 🚀 Fast, secure, lightweight containers based on WebAssembly☆20,407Updated this week
- Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see READ…☆33,636Updated this week
- Migrate C code to Rust☆4,636Updated this week
- 🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧☆7,589Oct 31, 2025Updated 3 months ago
- Kani Rust Verifier☆2,903Updated this week
- A container runtime written in Rust☆7,232Updated this week
- mold: A Modern Linker 🦠☆16,176Dec 12, 2025Updated 2 months ago
- Safe interop between Rust and C++☆6,656Updated this week
- The Xous microkernel☆848Updated this week
- Spin is the open source developer tool for building and running serverless applications powered by WebAssembly.☆6,297Updated this week
- A data-first Rust-native UI design toolkit.☆9,719Feb 5, 2026Updated last week
- A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...☆31,072Updated this week
- 🥧 Savoury implementation of the QUIC transport protocol and HTTP/3☆11,241Updated this week
- Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.☆4,281Updated this week
- WebAssembly System Interface☆5,508Updated this week
- A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Li…☆5,267Updated this week
- A cross-platform GUI library for Rust, inspired by Elm☆29,453Updated this week
- A secure, fast, and adaptable OS based on the seL4 microkernel☆220Updated this week
- Kubernetes Rust Kubelet☆3,599Oct 2, 2023Updated 2 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/redox☆16,033Updated this week
- WebAssembly Micro Runtime (WAMR)☆5,777Updated this week
- Lightning-fast and Powerful Code Editor written in Rust☆38,060Updated this week