Alternatives and similar repositories for lib-musl:

Users that are interested in lib-musl are comparing it to the libraries listed below

• unikraft / app-elfloader
  Load and execute Linux ELF binaries
  ☆32Updated last month
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 2 years ago
• unikraft / run-app-elfloader
  Run Unikraft ELF Loader app on Linux executables
  ☆14Updated last year
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 6 months ago
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆33Updated 9 months ago
• rust-vmm / rust-vmm-ci
  ☆22Updated last week
• mit-pdos / ward
  ☆31Updated 3 years ago
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆58Updated 2 weeks ago
• shacron / sled
  Sled System Emulator
  ☆28Updated last month
• ManyThreads / mythos
  Many Threads Operating System
  ☆18Updated 2 years ago
• au-ts / libvmm
  An experimental virtual machine monitor for the seL4 microkernel
  ☆35Updated this week
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆26Updated last month
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆21Updated 5 months ago
• ssrg-vt / popcorn-compiler
  Popcorn Linux compiler toolchain for heterogeneous-ISA execution
  ☆43Updated 11 months ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆39Updated 2 years ago
• jimix / k42
  K42 Kernel
  ☆26Updated 12 years ago
• seL4 / camkes-vm-examples
  ☆15Updated 2 weeks ago
• ssrg-vt / libhermitMPK
  Intra-Unikernel Isolation with Intel Memory Protection Keys
  ☆12Updated 5 years ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆33Updated this week
• riscvarchive / riscv-edk2
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆24Updated 3 years ago
• hitohira / yokyo
  ☆17Updated last year
• rust-vmm / vm-fdt
  ☆15Updated 8 months ago
• virtualsquare / libvdeslirp
  libslirp for Linux made easy peasy
  ☆28Updated 5 months ago
• riscv-non-isa / riscv-brs
  The Boot and Runtime Services (BRS) specification provides the software requirements for system vendors and Operating System Vendors (OSV…
  ☆47Updated last month
• michaelforney / x509cert
  Tool and library for generating X.509 certificates and certificate requests (mirror)
  ☆16Updated 3 years ago
• unikraft / eurosys21-artifacts
  Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…
  ☆27Updated 3 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆46Updated 2 weeks ago
• blitz / kernel_entry_benchmark
  Microbenchmarks for x86_64 kernel entry methods
  ☆18Updated 3 years ago
• riscvarchive / riscv-edk2-platforms
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆18Updated 3 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 8 years ago