AmbiML / sparrow-manifestLinks
Project Sparrow: Repo Materials
☆21Updated 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,816Updated last week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,258Updated this week
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆3,041Updated 11 months ago
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,415Updated 10 months ago
- ☆10Updated 2 years ago
- Low level access to RISC-V processors☆991Updated this week
- Adding support for the Rust language to the Linux kernel.☆4,226Updated last week
- A secure embedded operating system for microcontrollers☆5,992Updated last week
- Source code of Ferrocene, safety-critical Rust toolchain☆1,459Updated this week
- A developer-friendly framework for building user interfaces in Rust☆1,083Updated last year
- A Rust-based, lightweight unikernel.☆1,325Updated last week
- The Chrome OS Virtual Machine Monitor - Mirror of https://chromium.googlesource.com/crosvm/crosvm/☆1,029Updated this week
- Migrate C code to Rust☆4,462Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,710Updated 3 months ago
- Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.☆3,883Updated this week
- A simple, fast, and secure operating system for the cloud.☆943Updated this week
- An implementation of the IETF QUIC protocol☆1,273Updated last week
- Tool to create bootable disk images from a Rust OS kernel.☆841Updated 3 weeks ago
- A comparison of operating systems written in Rust☆801Updated last week
- An experimental pure-Rust x86 bootloader☆1,555Updated last week
- Unix-like OS in Rust inspired by xv6-riscv☆1,600Updated 2 weeks ago
- Zircon microkernel reimplemented in Rust.☆1,769Updated last year
- The Xous microkernel☆573Updated 3 weeks ago
- Rust Memory Safety & Undefined Behavior Detection☆1,350Updated last year
- Rust async runtime based on io-uring.☆4,647Updated 3 weeks ago
- A container runtime written in Rust☆6,926Updated last week
- GCC Front-End for Rust☆2,693Updated this week
- Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices☆1,219Updated 2 months ago
- Rune is a programming language developed to test ideas for improving security and efficiency.☆1,926Updated 2 months ago
- Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers☆2,469Updated last week