Alternatives and similar repositories for l4openbsd

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

• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆47Updated last week
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆41Updated 2 years ago
• bluhm / tcpbench-portable
  OpenBSD tcpbench ported to GNU/Linux
  ☆14Updated 6 months ago
• codelabs-ch / muen
  Official mirror of the Muen Separation Kernel repository
  ☆87Updated this week
• ryao / crunch
  Linux fork of FreeBSD crunch
  ☆17Updated 13 years ago
• keyfender / keyfender
  Secure HSM implementation based on MirageOS
  ☆38Updated 2 years ago
• khanzf / opengit
  OpenGit - A BSD licensed clone of Git for FreeBSD (under heavy development)
  ☆50Updated last year
• amenonsen / tappet
  ☆30Updated 3 years ago
• ericvh / 9p-rfc
  RFC and standards documents relating the 9P protocol (and its extensions and applications)
  ☆81Updated 2 years ago
• dimkr / libwaive
  A library that allows processes to waive their rights
  ☆27Updated 9 years ago
• genodelabs / goa
  Tool for streamlining the development of Genode applications
  ☆24Updated last month
• jhuntwork / lightcube-bootstrap-musl
  Scripts to bootstrap a build environment for LightCube OS using musl libc
  ☆19Updated 10 years ago
• janmojzis / httpfile
  Httpfile is a HTTP server derived from publicfile-0.52
  ☆9Updated last year
• vstakhov / asignify
  Yet another signify tool
  ☆90Updated last year
• synclab / radclock
  RADclock - A feed-forward NTP clock.
  ☆18Updated 12 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆24Updated 3 years ago
• michaelforney / x509cert
  Tool and library for generating X.509 certificates and certificate requests (mirror)
  ☆16Updated 3 years ago
• aperezdc / 9pfuse
  FUSE-based 9P client from the Plan9 Port project, standalone version
  ☆33Updated last year
• void-linux / musl-obstack
  A standalone library to implement GNU libc's obstack
  ☆23Updated last year
• mirage / mirage-qubes
  Mirage support for writing QubesOS AppVM unikernels
  ☆63Updated 5 months ago
• nfeske / genode-manual
  Reference manual for the Genode OS Framework
  ☆24Updated last month
• robur-coop / tlstunnel
  A TLS reverse proxy unikernel
  ☆36Updated 4 months ago
• kusumi / lh1
  HAMMER1/2 file system userspace utilities on Linux
  ☆21Updated 2 years ago
• DankBSD / complexd
  [WIP] A complex of daemons for FreeBSD implementing systemd/freedesktop D-Bus APIs required by desktop environments | now on https://code…
  ☆12Updated 2 years ago
• Harvey-OS / apex
  ANSI POSIX Environment neXt for Harvey OS
  ☆33Updated 5 years ago
• koue / httpd
  FreeBSD port of OpenBSD httpd
  ☆37Updated last year
• mirage / qubes-mirage-skeleton
  An example Mirage unikernel that runs as a Qubes AppVM
  ☆23Updated 4 years ago
• rumpkernel / fs-utils
  File System Access Utilities in Userland
  ☆77Updated 9 years ago
• danrue / oneoff-pkg-create
  Create a FreeBSD pkgng-style package from an arbitrary directory of files.
  ☆12Updated 8 years ago
• pikhq / musl-nscd
  Musl-nscd is an implementation of the NSCD protocol, suitable for use with musl and with standard NSS modules
  ☆50Updated 3 years ago