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
  ☆46Updated last week
• genodelabs / goa
  Tool for streamlining the development of Genode applications
  ☆22Updated this week
• skarnet / bcnm
  A better client network manager. https://skarnet.org/software/bcnm/
  ☆19Updated 3 weeks ago
• void-linux / musl-obstack
  A standalone library to implement GNU libc's obstack
  ☆22Updated last year
• codelabs-ch / muen
  Official mirror of the Muen Separation Kernel repository
  ☆85Updated this week
• genodelabs / genodians.org
  Website for stories around the Genode operating system
  ☆17Updated last month
• skarnet / pamela
  A PAM wrapper for encapsulation of dynamic module loading
  ☆16Updated 3 weeks ago
• nfeske / genode-manual
  Reference manual for the Genode OS Framework
  ☆24Updated last month
• synclab / radclock
  RADclock - A feed-forward NTP clock.
  ☆17Updated 12 years ago
• leahneukirchen / obase
  a port of the OpenBSD userland to Linux | unmaintained: use outils
  ☆53Updated 11 years ago
• skarnet / skabus
  A collection of tools to implement a simple Unix bus. https://skarnet.org/software/skabus/
  ☆26Updated 3 weeks ago
• ericvh / 9p-rfc
  RFC and standards documents relating the 9P protocol (and its extensions and applications)
  ☆79Updated 2 years ago
• aperezdc / 9pfuse
  FUSE-based 9P client from the Plan9 Port project, standalone version
  ☆32Updated last year
• michaelforney / pax
  pax archive utility
  ☆11Updated 2 months ago
• aryx / fork-kencc
  pad's fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/
  ☆32Updated last year
• GregorR / musl-pkgsrc-patches
  A collection of patches to NetBSD pkgsrc for musl libc.
  ☆15Updated 10 years ago
• skarnet / utmps
  A secure utmp/wtmp implementation
  ☆18Updated 3 weeks ago
• koue / httpd
  FreeBSD port of OpenBSD httpd
  ☆36Updated last year
• 0intro / libixp
  Portable, simple C-language 9P client and server libary.
  ☆28Updated 7 months ago
• gobolinux / GoboHide
  GoboHide userspace client
  ☆30Updated 3 months ago
• fjballest / octopus
  The Octopus operating system
  ☆28Updated 4 years ago
• bluhm / tcpbench-portable
  OpenBSD tcpbench ported to GNU/Linux
  ☆14Updated 3 months ago
• sabotage-linux / lex
  posix compatible lex utility which compiles to ~60KB
  ☆23Updated 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
• seL4 / musllibc
  ☆27Updated last month
• ablevm / libable
  An efficient, portable and secure general-purpose virtual machine and virtual network as a library
  ☆17Updated 2 years ago
• illumos / gfx-drm
  ☆21Updated 11 months ago
• cheusov / mk-configure
  Build system on top of bmake
  ☆68Updated 5 months ago
• Ravenports / Ravenports
  Universal package builder system
  ☆70Updated last week
• virtualsquare / vuos
  view based o.s.
  ☆40Updated this week