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:
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,453Updated last year
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,346Updated this week
- Hermit for Rust.☆1,851Updated this week
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆3,091Updated last year
- Source code of Ferrocene, safety-critical Rust toolchain☆1,539Updated this week
- The Chrome OS Virtual Machine Monitor - Mirror of https://chromium.googlesource.com/crosvm/crosvm/☆1,105Updated this week
- A Rust-based, lightweight unikernel.☆1,389Updated this week
- ☆10Updated 2 years ago
- Adding support for the Rust language to the Linux kernel.☆4,283Updated last week
- A secure embedded operating system for microcontrollers☆6,112Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,743Updated last month
- Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.☆4,007Updated this week
- Low level access to RISC-V processors☆1,045Updated this week
- Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.☆2,104Updated this week
- The Xous microkernel☆610Updated this week
- Unix-like OS in Rust inspired by xv6-riscv☆1,624Updated 2 months ago
- GCC Front-End for Rust☆2,777Updated this week
- Migrate C code to Rust☆4,591Updated this week
- Home of OpenVMM and OpenHCL☆1,782Updated this week
- A memory safe implementation of sudo and su.☆4,138Updated this week
- A simple, fast, and secure operating system for the cloud.☆1,058Updated last week
- An experimental pure-Rust x86 bootloader☆1,598Updated 2 weeks ago
- Build system, successor to Buck☆4,187Updated this week
- A comparison of operating systems written in Rust☆825Updated 2 months ago
- Rust Memory Safety & Undefined Behavior Detection☆1,363Updated last year
- Neqo, the Mozilla Firefox implementation of QUIC in Rust☆2,119Updated this week
- Framework for writing Linux kernel modules in safe Rust☆1,339Updated 4 years ago
- A bidirectional bindings generator for C++ and Rust.☆935Updated this week
- An implementation of the IETF QUIC protocol☆1,299Updated this week
- Distributed systems runtime daemon written in Rust.☆1,897Updated 3 weeks ago