AmbiML / sparrow-manifest
Project Sparrow: Repo Materials
โ20Updated last year
Alternatives and similar repositories for sparrow-manifest:
Users that are interested in sparrow-manifest are comparing it to the libraries listed below
- Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐ ๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap betweenโฆโ2,993Updated 7 months ago
- โ6Updated 2 years ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.โ3,148Updated this week
- Hermit for Rust.โ1,766Updated this week
- Adding support for the Rust language to the Linux kernel.โ4,150Updated this week
- A secure embedded operating system for microcontrollersโ5,750Updated this week
- โ10Updated last year
- Source code of Ferrocene, safety-critical Rust toolchainโ1,410Updated this week
- Migrate C code to Rustโ4,203Updated 3 weeks ago
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features suchโฆโ1,213Updated 2 weeks ago
- Low level access to RISC-V processorsโ938Updated this week
- A Rust-based, lightweight unikernel.โ1,276Updated this week
- Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you donโt have to.โ1,861Updated this week
- WebAssembly System Interfaceโ5,119Updated last week
- An experimental pure-Rust x86 bootloaderโ1,474Updated 3 weeks ago
- The seL4 microkernelโ4,893Updated this week
- ๐ The blazing fast build tool for Rust.โ2,418Updated last year
- Neqo, the Mozilla Firefox implementation of QUIC in Rustโ1,953Updated this week
- A simple, fast, and secure operating system for the cloud.โ922Updated this week
- Debugger for Hubrisโ541Updated last week
- Tool to create bootable disk images from a Rust OS kernel.โ805Updated last month
- oreboot is a fork of coreboot, with C removed, written in Rust.โ1,663Updated 2 weeks ago
- Framework for writing Linux kernel modules in safe Rustโ1,337Updated 4 years ago
- Automatically generates Rust FFI bindings to C (and some C++) libraries.โ4,750Updated 2 weeks ago
- A kernel designed to run one and only one application in a virtualized environmentโ2,764Updated last week
- A comparison of operating systems written in Rustโ751Updated 2 weeks ago
- Code examples, data structures, and links from my book, Rust Atomics and Locks.โ1,428Updated 8 months ago
- Build system, successor to Buckโ3,809Updated this week
- GCC Front-End for Rustโ2,613Updated this week
- โ805Updated this week