AmbiML / sparrow-manifest

Related projects ⓘ

Alternatives and complementary repositories for sparrow-manifest

• AmbiML / sparrow-kata-full
  ☆5Updated last year
• theseus-os / Theseus
  Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…
  ☆2,917Updated 2 months ago
• oxidecomputer / hubris
  A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
  ☆3,024Updated this week
• Rust-for-Linux / linux
  Adding support for the Rust language to the Linux kernel.
  ☆3,995Updated last week
• hermit-os / hermit-rs
  Hermit for Rust.
  ☆1,692Updated this week
• trifectatechfoundation / sudo-rs
  A memory safe implementation of sudo and su.
  ☆2,916Updated this week
• nuta / kerla
  A new operating system kernel with Linux binary compatibility written in Rust.
  ☆3,355Updated last week
• flosse / rust-os-comparison
  A comparison of operating systems written in Rust
  ☆716Updated last month
• oreboot / oreboot
  oreboot is a fork of coreboot, with C removed, written in Rust.
  ☆1,594Updated last month
• o8vm / octox
  Unix-like OS in Rust inspired by xv6-riscv
  ☆1,493Updated 3 months ago
• ferrocene / ferrocene
  Source code of Ferrocene, safety-critical Rust toolchain
  ☆1,312Updated this week
• tock / tock
  A secure embedded operating system for microcontrollers
  ☆5,457Updated this week
• Rust-GCC / gccrs
  GCC Front-End for Rust
  ☆2,453Updated this week
• rust-osdev / bootloader
  An experimental pure-Rust x86 bootloader
  ☆1,395Updated this week
• Andy-Python-Programmer / aero
  Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…
  ☆1,172Updated 2 months ago
• immunant / c2rust
  Migrate C code to Rust
  ☆4,020Updated this week
• facebook / buck2
  Build system, successor to Buck
  ☆3,603Updated this week
• fruiframework / frui
  A developer-friendly framework for building user interfaces in Rust
  ☆1,093Updated 9 months ago
• seL4 / seL4
  The seL4 microkernel
  ☆4,752Updated last week
• google / rune
  Rune is a programming language developed to test ideas for improving security and efficiency.
  ☆1,915Updated last week
• google / crosvm
  The Chrome OS Virtual Machine Monitor - Mirror of https://chromium.googlesource.com/crosvm/crosvm/
  ☆825Updated this week
• sgmarz / osblog
  The Adventures of OS
  ☆517Updated 2 years ago
• fishinabarrel / linux-kernel-module-rust
  Framework for writing Linux kernel modules in safe Rust
  ☆1,334Updated 3 years ago
• rustls / rustls
  A modern TLS library in Rust
  ☆6,237Updated this week
• aws / s2n-quic
  An implementation of the IETF QUIC protocol
  ☆1,167Updated this week
• rust-embedded / riscv
  Low level access to RISC-V processors
  ☆854Updated this week
• youki-dev / youki
  A container runtime written in Rust
  ☆6,326Updated this week
• rust-embedded / book
  Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices
  ☆1,121Updated last month
• dimensionhq / fleet
  🚀 The blazing fast build tool for Rust.
  ☆2,417Updated last year