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 7 years ago
• dpc / titanos
  Titanos an exercise in writing OS kernel in Rust programming language.
  ☆78Updated 9 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 8 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
• mesalock-linux / minit
  An init utility purely written in Rust.
  ☆26Updated 7 years ago
• nrc / xmas-elf
  elf parser and navigation tool, pure Rust
  ☆171Updated 7 months ago
• dgreid / crosvm
  ☆54Updated 3 months ago
• AveryOS / avery
  x86-64 kernel in Rust
  ☆32Updated 8 years ago
• QuiltOS / QuiltNet
  A network stack in pure Rust
  ☆58Updated 9 years ago
• CRust-OS / CRust-OS
  Xen-based unikernel in Rust
  ☆57Updated 8 years ago
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆199Updated 10 months ago
• dhuseby / cargo-bootstrap
  Bootstrapping script for Rust Cargo when cross-compilation is difficult or impossible.
  ☆36Updated 7 years ago
• alexcrichton / rlibc
  ☆78Updated 7 years ago
• lunatik-ng / lunatik-ng
  Linux Kernel Lua Scripting Engine
  ☆62Updated 9 years ago
• quininer / ene
  ENE is an end-to-end encryption tool designed for mail.
  ☆14Updated 7 years ago
• riscvarchive / riscv-glibc
  RISC-V port of GNU's libc
  ☆71Updated 4 years ago
• rust-lang-nursery / wg-verification
  Verification working group
  ☆104Updated 6 years ago
• quininer / sarkara
  [unmaintenance] A experimental post-quantum cryptography library
  ☆139Updated 6 years ago
• franziskuskiefer / rust-hacl-star
  HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
  ☆30Updated 5 years ago
• droundy / fac
  Fac is a general-purpose build system that runs on Linux only, which automatically tracks dependencies by observing the build commands in…
  ☆78Updated 3 years ago
• Rust-Proof / rustproof
  rust verification condition generator
  ☆96Updated 9 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
• hawkw / seax
  A VM-based runtime environment for functional programming languages
  ☆50Updated 8 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 2 years ago
• sorpaas / rux
  A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
  ☆306Updated 5 years ago
• aep / elfkit
  rust elf parsing, manipulation and (re)linking toolkit
  ☆205Updated 5 years ago
• huonw / rust-malloc
  A pure Rust memory allocator
  ☆50Updated 12 years ago