Alternatives and similar repositories for packages:

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

• mesalock-linux / minit
  An init utility purely written in Rust.
  ☆23Updated 6 years ago
• mesalock-linux / mesabox
  A collection of core system utilities written in Rust for Unix-like systems (and now Windows)
  ☆138Updated 6 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆49Updated 3 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 2 years ago
• nviennot / linux-2.6-scribe
  Scribe: the record-replay mechanism
  ☆35Updated 12 years ago
• lunatik-ng / lunatik-ng
  Linux Kernel Lua Scripting Engine
  ☆64Updated 8 years ago
• project-oak / hafnium-verification
  ☆29Updated 4 years ago
• elftoolchain / elftoolchain
  The ELF Tool Chain Project (mirror of SourceForge.Net). Please do not create pull requests here on Github, Please use SourceForge's tick…
  ☆69Updated last year
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆66Updated 6 years ago
• zeldovich / histar
  HiStar operating system (not under active development)
  ☆28Updated 6 years ago
• esjeon / musl-clang
  A clang wrapper for musl C library. Pretty hacky, I know.
  ☆34Updated 9 years ago
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆80Updated 3 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆94Updated 7 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆45Updated 4 months ago
• rcore-os / rcore-user
  User programs for rCore OS
  ☆18Updated 2 years ago
• rcore-os / x86-smpboot
  Booting multi-processors on x86 bare-metal.
  ☆11Updated 2 years ago
• ix-project / dune
  ☆31Updated 6 years ago
• sbates130272 / qemu-minimal
  A minimalistic QEMU and libvirt environment used to generate test VMs.
  ☆30Updated last month
• dgreid / crosvm
  ☆53Updated last year
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• mesalock-linux / mesalock-distro
  MesaLock Linux: a memory-safe Linux distribution.
  ☆371Updated 6 years ago
• enarx-archive / sev
  Library for AMD SEV
  ☆20Updated 2 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆46Updated 2 weeks ago
• seL4 / refos-manifest
  Reference Operating system based on seL4 --- example code
  ☆21Updated 4 years ago
• akaros / akaros
  The Akaros operating system
  ☆41Updated 4 years ago
• yogcrypt / yogcrypt
  A fast, general purpose crypto library in pure Rust.
  ☆21Updated 6 years ago
• pi-pi3 / ext2-rs
  An implementation of ext2 filesystem in Rust
  ☆30Updated 6 years ago
• teawater / kgtp
  KGTP is a comprehensive dynamic tracer for analysing Linux kernel and application (including Android) problems on production systems in r…
  ☆87Updated 7 years ago
• riscvarchive / riscv-musl
  musl libc for RISC-V
  ☆81Updated 5 years ago