Alternatives and similar repositories for packages

Users that are interested in packages are comparing it to the libraries listed below

• mesalock-linux / mesabox
  A collection of core system utilities written in Rust for Unix-like systems (and now Windows)
  ☆139Updated 6 years ago
• mesalock-linux / minit
  An init utility purely written in Rust.
  ☆24Updated 7 years ago
• dgreid / crosvm
  ☆54Updated 3 months ago
• yogcrypt / yogcrypt
  A fast, general purpose crypto library in pure Rust.
  ☆21Updated 6 years ago
• quininer / ene
  ENE is an end-to-end encryption tool designed for mail.
  ☆14Updated 6 years ago
• rcore-os / rcore-user
  User programs for rCore OS
  ☆18Updated 2 years ago
• seL4 / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆10Updated 10 months ago
• new-tee-os / new-tee-os
  A brand new OS that runs in various kinds of TEEs and supports Linux ABI
  ☆15Updated 3 years ago
• rcore-os / x86-smpboot
  Booting multi-processors on x86 bare-metal.
  ☆11Updated 3 years ago
• project-oak / hafnium-verification
  ☆29Updated 4 years ago
• Harry-Chen / rust-mips
  Rust library for low-level abstraction of MIPS processors
  ☆31Updated 4 years ago
• andylokandy / preemptive
  A minimum preemptive OS on Cortex-M3 (specially on blue-pill board) written in Rust.
  ☆34Updated 5 years ago
• esjeon / musl-clang
  A clang wrapper for musl C library. Pretty hacky, I know.
  ☆34Updated 10 years ago
• rcore-os / trapframe-rs
  Handle TrapFrame across kernel and user space on multiple ISAs.
  ☆32Updated 10 months ago
• pi-pi3 / ext2-rs
  An implementation of ext2 filesystem in Rust
  ☆31Updated 7 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆47Updated this week
• enarx-archive / enarx-keepldr
  Enarx Keep Loader
  ☆15Updated 3 years ago
• mark-i-m / os2
  x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]
  ☆31Updated 4 years ago
• YangZhou1997 / SafeBricks
  This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…
  ☆9Updated 5 years ago
• riscv-rust / riscv-rust-toolchain
  RISCV Rust Toolchain
  ☆117Updated 6 years ago
• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 5 years ago
• akaros / akaros
  The Akaros operating system
  ☆41Updated 4 years ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• oscomp / proj1-rustsbi
  实现和扩展RISC-V SBI运行时，使之能够支持并运行操作系统
  ☆14Updated last month
• tchajed / futex-tutorial
  ☆12Updated 9 months ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• quininer / newhope
  Post-quantum key exchange - a new hope.
  ☆23Updated 7 years ago
• luojia65 / nihao
  Rust powered flash programmer and on chip debugger for embedded devices
  ☆13Updated 5 years ago
• rcore-os / rcore-fs
  The file system module for rCore OS.
  ☆49Updated 11 months ago