AmbiML / sparrow-manifestLinks
Project Sparrow: Repo Materials
โ22Updated 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:
- Hermit for Rust.โ1,844Updated this week
- Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap betweenโฆโ3,069Updated last year
- A new operating system kernel with Linux binary compatibility written in Rust.โ3,450Updated last year
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.โ3,314Updated this week
- Source code of Ferrocene, safety-critical Rust toolchainโ1,495Updated this week
- โ10Updated 2 years ago
- The Chrome OS Virtual Machine Monitor - Mirror of https://chromium.googlesource.com/crosvm/crosvm/โ1,075Updated this week
- A Rust-based, lightweight unikernel.โ1,370Updated this week
- Adding support for the Rust language to the Linux kernel.โ4,262Updated this week
- GCC Front-End for Rustโ2,759Updated this week
- Tool to create bootable disk images from a Rust OS kernel.โ854Updated 3 months ago
- A secure embedded operating system for microcontrollersโ6,072Updated this week
- Migrate C code to Rustโ4,562Updated this week
- Rune is a programming language developed to test ideas for improving security and efficiency.โ1,928Updated last month
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features suchโฆโ1,246Updated 7 months ago
- Rust Memory Safety & Undefined Behavior Detectionโ1,357Updated last year
- Low level access to RISC-V processorsโ1,031Updated last week
- An implementation of the IETF QUIC protocolโ1,287Updated last week
- An experimental pure-Rust x86 bootloaderโ1,585Updated this week
- The Rust Performance Bookโ2,522Updated this week
- ๐ The blazing fast build tool for Rust.โ2,419Updated 2 years ago
- Neqo, the Mozilla Firefox implementation of QUIC in Rustโ2,075Updated this week
- The Xous microkernelโ604Updated this week
- Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you donโt have to.โ2,074Updated this week
- Home of OpenVMM and OpenHCLโ1,776Updated last week
- Unix-like OS in Rust inspired by xv6-riscvโ1,614Updated last month
- A developer-friendly framework for building user interfaces in Rustโ1,082Updated last year
- โ924Updated this week
- Platform that enables Windows driver development in Rustโ1,765Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.โ1,735Updated last month