Alternatives and similar repositories for libhermit

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

• brho / akaros
  Akaros Operating System
  ☆323Updated 3 years ago
• ssrg-vt / hermitux
  A binary-compatible unikernel
  ☆399Updated last year
• NuxiNL / cloudlibc
  CloudABI's standard C library
  ☆300Updated 5 years ago
• penberg / manticore
  Manticore is a research operating system, written in Rust.
  ☆295Updated 2 years ago
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆77Updated last year
• w-vi / diyC
  A simple educational linux container runtime.
  ☆113Updated 4 years ago
• sysml / mini-os
  Minimalistic Operating System for Xen
  ☆66Updated 3 years ago
• rumpkernel / wiki
  Wiki for rump kernels
  ☆460Updated 2 years ago
• libos-nuse / linux-libos-tools
  userspace tools for linux libos
  ☆96Updated 3 years ago
• justincormack / frankenlibc
  Tools for running rump unikernels in userspace
  ☆56Updated 9 years ago
• unikraft / pykraft
  Python library for configuring and building unikernels
  ☆178Updated 2 years ago
• ssrg-vt / popcorn-kernel
  Popcorn Linux kernel for distributed thread execution
  ☆167Updated 2 years ago
• gwsystems / composite
  A component-based OS
  ☆193Updated 9 months ago
• unikernelLinux / ukl
  Unikernel Linux
  ☆227Updated 3 months ago
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆64Updated 5 years ago
• uw-unsat / hyperkernel
  ☆186Updated 5 years ago
• intel / mOS
  ☆141Updated 7 months ago
• richfelker / mallocng-draft
  Working draft of nextgen malloc implementation for musl libc
  ☆123Updated 5 years ago
• generic-ebpf / generic-ebpf
  Generic eBPF runtime
  ☆150Updated 4 years ago
• sysml / lightvm
  ☆232Updated 7 years ago
• aclements / sv6
  POSIX-like scalable multicore research OS kernel
  ☆195Updated 5 years ago
• UWNetworksLab / arrakis
  Arrakis public repository.
  ☆259Updated 8 years ago
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆113Updated 5 years ago
• bob-beck / libtls
  libtls tutorial, exercises, test CA and exercise solutions
  ☆160Updated last year
• akaros / akaros
  The Akaros operating system
  ☆41Updated 5 years ago
• Solo5 / solo5
  A sandboxed execution environment for unikernels
  ☆962Updated 3 weeks ago
• sorpaas / rux
  A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
  ☆307Updated 5 years ago
• baruch / libwire
  User space threading (aka coroutines) library for C resembling GoLang and goroutines
  ☆166Updated 7 years ago
• ericvh / 9p-rfc
  RFC and standards documents relating the 9P protocol (and its extensions and applications)
  ☆83Updated 2 years ago
• skeeto / pure-linux-threads-demo
  Pthreads-free Linux threading demo
  ☆159Updated 6 years ago