Alternatives and similar repositories for l4openbsd:

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

• genodelabs / goa
  Tool for streamlining the development of Genode applications
  ☆22Updated this week
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆46Updated last week
• koue / httpd
  FreeBSD port of OpenBSD httpd
  ☆35Updated last year
• illumos / gfx-drm
  ☆21Updated 10 months 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
• janmojzis / httpfile
  Httpfile is a HTTP server derived from publicfile-0.52
  ☆9Updated last year
• tamentis / ksh
  Port of the OpenBSD ksh shell
  ☆10Updated 5 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆24Updated 2 years ago
• kusumi / netbsd_hammer2
  HAMMER2 file system for NetBSD
  ☆55Updated 4 months ago
• khanzf / opengit
  OpenGit - A BSD licensed clone of Git for FreeBSD (under heavy development)
  ☆50Updated last year
• codelabs-ch / muen
  Official mirror of the Muen Separation Kernel repository
  ☆83Updated this week
• bluhm / tcpbench-portable
  OpenBSD tcpbench ported to GNU/Linux
  ☆12Updated 2 months ago
• sabotage-linux / lex
  posix compatible lex utility which compiles to ~60KB
  ☆23Updated 2 years ago
• capros-os / capros
  CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…
  ☆51Updated 2 years ago
• DragonFlyBSD / DeltaPorts
  FreeBSD Ports Collection + DeltaPorts = DragonFly Ports (a.k.a. DPorts)
  ☆29Updated this week
• nfeske / genode-manual
  Reference manual for the Genode OS Framework
  ☆24Updated 2 weeks ago
• aryx / fork-kencc
  pad's fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/
  ☆31Updated 10 months ago
• Ravenports / Ravenports
  Universal package builder system
  ☆69Updated 2 weeks ago
• kusumi / lh1
  HAMMER1/2 file system userspace utilities on Linux
  ☆20Updated 2 years ago
• aperezdc / 9pfuse
  FUSE-based 9P client from the Plan9 Port project, standalone version
  ☆32Updated last year
• ericvh / 9p-rfc
  RFC and standards documents relating the 9P protocol (and its extensions and applications)
  ☆77Updated 2 years ago
• omniti-labs / omnios-build
  Build system for OmniOS - Note, this is a quasi-private archive for OmniTI, you probably want https://omniosce.org
  ☆39Updated 6 years ago
• fjballest / octopus
  The Octopus operating system
  ☆27Updated 4 years ago
• Ravenports / ravensource
  The sources to compile Ravenports buildsheets
  ☆18Updated last week
• jhuntwork / lightcube-bootstrap-musl
  Scripts to bootstrap a build environment for LightCube OS using musl libc
  ☆18Updated 9 years ago
• quitesimpleorg / exile.h
  Painless Linux sandboxing API
  ☆14Updated 9 months ago
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 6 years ago
• Subsentient / epoch
  The Epoch Init System
  ☆109Updated 8 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆40Updated 2 years ago
• google / netbsd-gce
  NetBSD Support for Google Compute Engine
  ☆41Updated last year