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,858Updated last week
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,455Updated last year
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,369Updated last week
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆3,099Updated last year
- Source code of Ferrocene, safety-critical Rust toolchain☆1,547Updated this week
- ☆10Updated 2 years ago
- A Rust-based, lightweight unikernel.☆1,397Updated this week
- Low level access to RISC-V processors☆1,053Updated this week
- Adding support for the Rust language to the Linux kernel.☆4,297Updated this week
- Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices☆1,263Updated 6 months ago
- A secure embedded operating system for microcontrollers☆6,170Updated this week
- A comparison of operating systems written in Rust☆827Updated 2 months ago
- GCC Front-End for Rust☆2,790Updated this week
- The Chrome OS Virtual Machine Monitor - Mirror of https://chromium.googlesource.com/crosvm/crosvm/☆1,121Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,747Updated last month
- Framework for writing Linux kernel modules in safe Rust☆1,340Updated 4 years ago
- An experimental pure-Rust x86 bootloader☆1,611Updated this week
- Unix-like OS in Rust inspired by xv6-riscv☆1,627Updated 3 months ago
- Tool to create bootable disk images from a Rust OS kernel.☆868Updated 4 months ago
- Migrate C code to Rust☆4,614Updated this week
- A simple, fast, and secure operating system for the cloud.☆1,062Updated this week
- The Rust Performance Book☆2,621Updated last month
- Interactively Visualizing Ownership and Borrowing for Rust☆2,820Updated last year
- Rust async runtime based on io-uring.☆4,839Updated last month
- Code examples, data structures, and links from my book, Rust Atomics and Locks.☆1,537Updated last year
- Distributed systems runtime daemon written in Rust.☆1,898Updated last month
- Neqo, the Mozilla Firefox implementation of QUIC in Rust☆2,119Updated this week
- Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers☆2,504Updated 4 months ago
- The Xous microkernel☆671Updated this week
- Rust Memory Safety & Undefined Behavior Detection☆1,364Updated last year