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)
  ☆138Updated 7 years ago
• mesalock-linux / mesalock-distro
  MesaLock Linux: a memory-safe Linux distribution.
  ☆369Updated 6 years ago
• dgreid / crosvm
  ☆54Updated 3 months ago
• libos-nuse / lkl-linux
  Linux kernel source tree
  ☆37Updated 6 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 7 months ago
• project-oak / hafnium-verification
  ☆28Updated 5 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• riscv-rust / riscv-rust-toolchain
  RISCV Rust Toolchain
  ☆118Updated 7 years ago
• AveryOS / avery
  x86-64 kernel in Rust
  ☆32Updated 8 years ago
• dpc / titanos
  Titanos an exercise in writing OS kernel in Rust programming language.
  ☆78Updated 9 years ago
• franziskuskiefer / rust-hacl-star
  HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
  ☆29Updated 5 years ago
• QuiltOS / QuiltNet
  A network stack in pure Rust
  ☆58Updated 9 years ago
• mesalock-linux / minit
  An init utility purely written in Rust.
  ☆26Updated 7 years ago
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆198Updated 9 months ago
• Harry-Chen / rust-mips
  Rust library for low-level abstraction of MIPS processors
  ☆31Updated 5 years ago
• lunatik-ng / lunatik-ng
  Linux Kernel Lua Scripting Engine
  ☆62Updated 9 years ago
• nrc / xmas-elf
  elf parser and navigation tool, pure Rust
  ☆170Updated 7 months ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆50Updated 2 months ago
• jvns / ltrace-bcc
  ltrace clone that uses bcc + uprobes instead of ptrace
  ☆47Updated 7 years ago
• humenda / rustl4re
  This repository contains patches for the Rust to L4Re OS port. It's a place to gather patches before they find their way in the upstream …
  ☆17Updated last year
• riscvarchive / riscv-glibc
  RISC-V port of GNU's libc
  ☆71Updated 4 years ago
• foreverbell / JOS
  JOS Lab of MIT 6.828: Operating System Engineering.
  ☆18Updated 8 years ago
• quininer / ene
  ENE is an end-to-end encryption tool designed for mail.
  ☆14Updated 7 years ago
• Rust-Proof / rustproof
  rust verification condition generator
  ☆96Updated 9 years ago
• stratis-storage / devicemapper-rs
  A Rust library for using Linux devicemapper
  ☆75Updated 2 weeks ago
• nmathewson / libottery
  A fast secure userspace pseudorandom number generator
  ☆83Updated 11 years ago
• saschagrunert / peel-ip
  Packet parsing for the Internet Protocol Suite 📦
  ☆29Updated 8 years ago
• emk / toyos-rs
  Just hacking around on a toy Rust-based on based on the blog posts at http://blog.phil-opp.com/
  ☆90Updated 2 years ago
• rust-embedded / register-rs
  Unified interface for type-safe MMIO and CPU register access in Rust
  ☆49Updated 4 years ago
• alcarithemad / rust-kext
  Minimal MacOS Kernel Extension in Rust
  ☆59Updated 6 years ago