Alternatives and similar repositories for sparrow-manifest:

Users that are interested in sparrow-manifest are comparing it to the libraries listed below

• AmbiML / sparrow-kata-full
  ☆6Updated 2 years ago
• theseus-os / Theseus
  Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…
  ☆2,964Updated 5 months ago
• hermit-os / hermit-rs
  Hermit for Rust.
  ☆1,735Updated this week
• Andy-Python-Programmer / aero
  Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…
  ☆1,190Updated 5 months ago
• oxidecomputer / hubris
  A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
  ☆3,108Updated this week
• ferrocene / ferrocene
  Source code of Ferrocene, safety-critical Rust toolchain
  ☆1,361Updated this week
• nuta / kerla
  A new operating system kernel with Linux binary compatibility written in Rust.
  ☆3,383Updated 3 months ago
• trifectatechfoundation / sudo-rs
  A memory safe implementation of sudo and su.
  ☆2,984Updated this week
• Rust-for-Linux / linux
  Adding support for the Rust language to the Linux kernel.
  ☆4,084Updated this week
• asterinas / asterinas
  Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
  ☆2,688Updated this week
• immunant / c2rust
  Migrate C code to Rust
  ☆4,123Updated 3 weeks ago
• bytedance / monoio
  Rust async runtime based on io-uring.
  ☆4,221Updated last month
• fishinabarrel / linux-kernel-module-rust
  Framework for writing Linux kernel modules in safe Rust
  ☆1,340Updated 3 years ago
• tock / tock
  A secure embedded operating system for microcontrollers
  ☆5,648Updated this week
• dimensionhq / fleet
  🚀 The blazing fast build tool for Rust.
  ☆2,418Updated last year
• Rust-GCC / gccrs
  GCC Front-End for Rust
  ☆2,544Updated this week
• AmbiML / sparrow-cantrip-full
  ☆10Updated last year
• moturus / motor-os
  A simple, fast, and secure operating system for the cloud.
  ☆910Updated this week
• aya-rs / aya
  Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
  ☆3,412Updated this week
• hermit-os / kernel
  A Rust-based, lightweight unikernel.
  ☆1,232Updated this week
• verus-lang / verus
  Verified Rust for low-level systems code
  ☆1,336Updated this week
• oreboot / oreboot
  oreboot is a fork of coreboot, with C removed, written in Rust.
  ☆1,627Updated this week
• aws / s2n-quic
  An implementation of the IETF QUIC protocol
  ☆1,200Updated this week
• model-checking / kani
  Kani Rust Verifier
  ☆2,386Updated this week
• mozilla / neqo
  Neqo, the Mozilla Firefox implementation of QUIC in Rust
  ☆1,909Updated this week
• flosse / rust-os-comparison
  A comparison of operating systems written in Rust
  ☆734Updated 4 months ago
• google / zerocopy
  Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.
  ☆1,775Updated this week
• tnballo / high-assurance-rust
  A free book about developing secure and robust systems software.
  ☆1,335Updated 10 months ago
• rust-embedded / book
  Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices
  ☆1,154Updated 2 weeks ago
• sgmarz / osblog
  The Adventures of OS
  ☆537Updated 2 years ago