AmbiML / sparrow-manifest
Project Sparrow: Repo Materials
☆14Updated last year
Related projects: ⓘ
- ☆310Updated this week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆2,951Updated this week
- ☆4Updated last year
- Hermit for Rust.☆1,659Updated this week
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫 𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆2,859Updated last week
- A memory safe implementation of sudo and su.☆2,879Updated 2 weeks ago
- Adding support for the Rust language to the Linux kernel.☆3,924Updated this week
- Migrate C code to Rust☆3,932Updated this week
- Source code of Ferrocene, safety-critical Rust toolchain☆1,268Updated this week
- A secure embedded operating system for microcontrollers☆5,348Updated last week
- Unix-like OS in Rust inspired by xv6-riscv☆1,336Updated last month
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,326Updated last year
- An experimental pure-Rust x86 bootloader☆1,353Updated 3 weeks ago
- WebAssembly System Interface☆4,818Updated 3 weeks ago
- Low level access to RISC-V processors☆825Updated last week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,554Updated last month
- A comparison of operating systems written in Rust☆695Updated last year
- The Chrome OS Virtual Machine Monitor - Mirror of https://chromium.googlesource.com/crosvm/crosvm/☆783Updated this week
- Framework for writing Linux kernel modules in safe Rust☆1,330Updated 3 years ago
- Platform that enables Windows driver development in Rust. Developed by Surface.☆1,472Updated this week
- An interpreter for Rust's mid-level intermediate representation☆4,325Updated this week
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆4,371Updated last week
- The Rust Performance Book☆2,273Updated 3 months ago
- GCC Front-End for Rust☆2,361Updated this week
- Neqo, the Mozilla Firefox implementation of QUIC in Rust☆1,823Updated this week
- Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers☆2,130Updated last week
- A Rust-based, lightweight unikernel.☆1,157Updated this week
- Safe interop between Rust and C++☆5,801Updated last week
- A modern TLS library in Rust☆5,869Updated this week
- Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.☆3,052Updated 10 months ago