Alternatives and similar repositories for l4openbsd

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

• codelabs-ch / muen
  Official mirror of the Muen Separation Kernel repository
  ☆90Updated 3 weeks ago
• khanzf / opengit
  OpenGit - A BSD licensed clone of Git for FreeBSD (under heavy development)
  ☆50Updated last year
• capros-os / capros
  CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…
  ☆55Updated 3 years ago
• libertine-linux / libertine
  Secure, Robust, Tiny in Memory Linux Distro with everything in Source Control. No package manager, runs from RAM and boots from the netwo…
  ☆33Updated 5 years ago
• bluhm / tcpbench-portable
  OpenBSD tcpbench ported to GNU/Linux
  ☆15Updated 2 months ago
• void-linux / musl-obstack
  A standalone library to implement GNU libc's obstack
  ☆27Updated last year
• ericvh / 9p-rfc
  RFC and standards documents relating the 9P protocol (and its extensions and applications)
  ☆82Updated 2 years ago
• Ravenports / Ravenports
  Universal package builder system
  ☆77Updated last week
• kusumi / netbsd_hammer2
  HAMMER2 file system for NetBSD
  ☆56Updated last month
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆47Updated this week
• keyfender / keyfender
  Secure HSM implementation based on MirageOS
  ☆38Updated 3 years ago
• fjballest / planb
  ☆23Updated 4 years ago
• kburtch / SparForte
  Bourne shell, template engine, scripting language reliable, scalable projects. Based a ISO standard proven effective for large, mission-…
  ☆50Updated last month
• McIkye / tools
  set of ELF tools
  ☆12Updated 10 years ago
• arichardson / bmake
  A git repository for the bmake releases
  ☆21Updated 4 years ago
• koue / httpd
  FreeBSD port of OpenBSD httpd
  ☆38Updated last month
• kusumi / openbsd_hammer2
  HAMMER2 file system for OpenBSD
  ☆77Updated last month
• danrue / oneoff-pkg-create
  Create a FreeBSD pkgng-style package from an arbitrary directory of files.
  ☆12Updated 8 years ago
• ablevm / libable
  An efficient, portable and secure general-purpose virtual machine and virtual network as a library
  ☆18Updated 2 years ago
• DragonFlyBSD / DPorts
  The dedicated application build system for DragonFly BSD
  ☆93Updated this week
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 7 months ago
• echoline / NinePea
  9p library for arduino
  ☆40Updated 2 years ago
• DragonFlyBSD / DeltaPorts
  FreeBSD Ports Collection + DeltaPorts = DragonFly Ports (a.k.a. DPorts)
  ☆31Updated this week
• oriansj / mescc-tools
  Bootstrapping tools for Janneke's MES
  ☆35Updated last week
• gobolinux / GoboHide
  🙈 GoboHide userspace client
  ☆30Updated 9 months ago
• NetBSD / pkgsrc-wip
  Work-in-progress packages for pkgsrc, the portable package system from NetBSD [mirror]
  ☆68Updated this week
• skarnet / utmps
  A secure utmp/wtmp implementation
  ☆20Updated 3 weeks ago
• wca / p9fs
  FreeBSD client filesystem implementation of 9P2000.u
  ☆10Updated 10 years ago
• dimkr / lok
  A Linux port of OpenBSD's awk
  ☆14Updated 7 years ago
• talex5 / spec-vchan
  A TLA+ specification for the Xen vchan protocol
  ☆14Updated 6 years ago