Alternatives and similar repositories for UnikernelExperiments

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

• zerovm / zrt
  ZeroVM Run-Time environment
  ☆65Updated 10 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 8 years ago
• NuxiNL / arpc
  GRPC-like RPC library that supports file descriptor passing by using Argdata
  ☆18Updated 6 years ago
• parallella / parallella-uboot
  Official U-Boot package for Parallella
  ☆41Updated 10 years ago
• NuxiNL / flower
  Label-based networking daemon
  ☆23Updated 6 years ago
• danluu / sega-system-for-fpga
  FPGA Sega in Verilog, for Xilinx Virtex, circa 2002. Has an emulator thrown in, to simplify FPGA debugging.
  ☆73Updated 11 years ago
• jech / sbabeld
  Stub-only implementation of the Babel routing protocol
  ☆10Updated 2 years ago
• mahrz24 / rv6
  rv6 is a kernel & operating system written entirely in rust.
  ☆11Updated 5 years ago
• ericvh / 9p-rfc
  RFC and standards documents relating the 9P protocol (and its extensions and applications)
  ☆81Updated 2 years ago
• hcrypt-project / oblivious
  Oblivious Memory Access under Fully Homomorphic Encryption
  ☆13Updated 9 years ago
• akaros / akaros
  The Akaros operating system
  ☆41Updated 4 years ago
• google / autopiper
  ☆47Updated 9 years ago
• OGAWAHirofumi / tux3
  tux3 file system
  ☆75Updated 10 years ago
• wbl / cpgb
  CPGB is the Curve Privacy Guard B, a secure replacement for GPG using ECC.
  ☆24Updated 13 years ago
• keystone-enclave / riscv-pk
  Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready
  ☆35Updated 4 years ago
• NanXiao / using-dtrace-stories
  ☆22Updated last month
• Harvey-OS / apex
  ANSI POSIX Environment neXt for Harvey OS
  ☆33Updated 5 years ago
• hnsl / librcd
  A library for Rapid {C|Concurrency|Correct} Development
  ☆34Updated 9 years ago
• refi64 / libcut
  Easy, flexible C unit testing
  ☆11Updated 9 years ago
• ssrg-vt / hermitux-kernel
  ☆34Updated 2 years ago
• haproxy-unofficial-obsolete-mirrors / libslz
  Mirror of libslz
  ☆34Updated 6 years ago
• vladpalos / PrimaLuce
  Software Development Platform for ARM / Android terminals
  ☆39Updated 8 years ago
• rminnich / NxM
  NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu
  ☆45Updated last year
• vstakhov / asignify
  Yet another signify tool
  ☆90Updated last year
• kisom / libschannel
  Bidirectional secure channels over TCP/IP
  ☆26Updated 5 years ago
• andreiw / ppc64le_hello
  ``Hello World'' for a Little-Endian OpenPower world (freestanding)
  ☆18Updated 8 years ago
• kernelci / lava-ci
  (DEPRECATED: check kernelci-core) LAVA CI Tools for Production KernelCI - please make pull requests against lava-ci-staging instead
  ☆21Updated 6 years ago
• im-tomu / chopstx
  U2F firmware for Tomu board (+ chopstx port)
  ☆68Updated 6 years ago
• amenonsen / tappet
  ☆30Updated 3 years ago
• azonenberg / antikernel
  The Antikernel operating system project
  ☆121Updated 5 years ago