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,354Mar 13, 2026Updated last week
- ☆10Sep 6, 2023Updated 2 years ago
- A secure embedded operating system for microcontrollers☆6,254Updated this week
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆17,737Mar 13, 2026Updated last week
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚 𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆3,129Sep 22, 2024Updated last year
- Hermit for Rust.☆1,883Mar 13, 2026Updated last week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,460Updated this week
- Microkit - A simple operating system framework for the seL4 microkernel☆176Updated this week
- OpenTitan: Open source silicon root of trust☆3,238Updated this week
- Adding support for the Rust language to the Linux kernel.☆4,327Updated this week
- An operating system designed for hosting containers☆9,554Mar 11, 2026Updated last week
- Secure and fast microVMs for serverless computing.☆33,042Updated this week
- Kani Rust Verifier☆2,982Updated this week
- The Xous microkernel☆881Mar 14, 2026Updated last week
- An interpreter for Rust's mid-level intermediate representation☆5,966Updated this week
- Migrate C code to Rust☆4,656Updated this week
- A native gRPC client & server implementation with async/await support.☆11,914Updated this week
- 🚀 Fast, secure, lightweight containers based on WebAssembly☆20,476Updated this week
- A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Li…☆5,388Updated this week
- A modern TLS library in Rust☆7,295Updated this week
- Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see READ…☆33,647Updated this week
- Rust for Windows☆11,991Mar 14, 2026Updated last week
- A Scalable, User-Friendly Source Control System.☆6,769Updated this week
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆121Jul 25, 2023Updated 2 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆228Updated this week
- mold: A Modern Linker 🦠☆16,263Mar 4, 2026Updated 2 weeks ago
- Safe interop between Rust and C++☆6,684Updated this week
- 🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧☆7,587Oct 31, 2025Updated 4 months ago
- A thin-hypervisor that runs on aarch64 CPUs.☆103Feb 22, 2026Updated 3 weeks ago
- A container runtime written in Rust☆7,280Updated this week
- A data-first Rust-native UI design toolkit.☆9,726Feb 5, 2026Updated last month
- A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...☆31,454Updated this week
- Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.☆4,376Updated this week
- Mirror of https://gitlab.redox-os.org/redox-os/redox☆16,154Updated this week
- 🥧 Savoury implementation of the QUIC transport protocol and HTTP/3☆11,339Updated this week
- Spin is the open source developer tool for building and running serverless applications powered by WebAssembly.☆6,347Updated this week
- A cross-platform GUI library for Rust, inspired by Elm☆29,890Updated this week
- WebAssembly System Interface☆5,544Mar 13, 2026Updated last week
- Writing an OS in Rust☆17,355Feb 26, 2026Updated 3 weeks ago