Alternatives and similar repositories for vuos

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

• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆46Updated this week
• akaros / akaros
  The Akaros operating system
  ☆41Updated 4 years ago
• varlink / linux-varlink
  Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes
  ☆25Updated 6 years ago
• au-ts / sddf
  A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…
  ☆32Updated this week
• michaelforney / x509cert
  Tool and library for generating X.509 certificates and certificate requests (mirror)
  ☆16Updated 3 years ago
• richfelker / usand
  usand - convenient and minimal unshare(1)-based sandbox
  ☆63Updated 4 years ago
• oriansj / M2libc
  A more standards compliant C library written in M2-Planet's C subset
  ☆20Updated last week
• marty1885 / landlock-unveil
  OpenBSD unveil(2) like function in Linux using Landlock
  ☆25Updated last month
• oriansj / mescc-tools
  Bootstrapping tools for Janneke's MES
  ☆35Updated this week
• yabits / 9pfsPkg
  Painless Network-Transparent Network Boot with 9P
  ☆63Updated last year
• ibara / O
  Peephole optimizer for cproc and QBE
  ☆25Updated last week
• rostedt / shelf
  A Shell to parse ELF files
  ☆19Updated 2 years ago
• robn / quiz
  Fast edit-compile-test cycles for Linux+OpenZFS development
  ☆26Updated last week
• Rust-for-Linux / nix
  Efforts for packaging the Rust for Linux project with the Nix package manager
  ☆57Updated 2 months ago
• hlandau / kvmtest
  An experimental VMM for KVM written in pure Python
  ☆28Updated last year
• tiagodusilva / coral
  Ms Thesis @ FEUP
  ☆36Updated 9 months ago
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆26Updated 2 weeks ago
• NobodyXu / aspawn
  Asynchronous and more versatile replacement of posix_spawn
  ☆21Updated 3 years ago
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆133Updated this week
• KevinMGranger / nine
  The 9p protocol as a serde format and message types.
  ☆30Updated 3 years ago
• catern / sfork
  A synchronous, single-threaded interface for starting processes on Linux
  ☆34Updated 3 years ago
• codelabs-ch / muen
  Official mirror of the Muen Separation Kernel repository
  ☆86Updated last week
• virtualsquare / libvdeslirp
  libslirp for Linux made easy peasy
  ☆29Updated 6 months ago
• michaelforney / sbase
  Portable UNIX tools (personal repository)
  ☆61Updated last year
• charlottia / hdx
  HDL development environment on Nix.
  ☆25Updated 6 months ago
• uniqernel / awesome-unikernels
  Curated list of unikernel resources
  ☆47Updated 5 years ago
• skarnet / utmps
  A secure utmp/wtmp implementation
  ☆18Updated last week
• genodelabs / goa
  Tool for streamlining the development of Genode applications
  ☆23Updated this week
• leahneukirchen / libste
  C string library based on string ends
  ☆19Updated 9 months ago
• emilmasoumi / ebpf-assembler
  eBPF bytecode assembler and compiler
  ☆20Updated 10 months ago