chrissicool/l4openbsd external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

chrissicool/l4openbsd

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/chrissicool/l4openbsd)

Close

chrissicool / l4openbsdView on GitHubMore

• External links
• Readme badge

OpenBSD/L4 port

☆18Apr 6, 2017Updated 8 years ago

Alternatives and similar repositories for l4openbsd

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

• kayceesrk / irmin-datatypes

  View on GitHub
  A collection of functional, mergeable datatypes for Irmin
  ☆12Dec 25, 2016Updated 9 years ago
• hannesm / ocaml-hkdf

  View on GitHub
  HMAC-based Extract-and-Expand Key Derivation Function (HKDF) (RFC 5869)
  ☆12Sep 4, 2024Updated last year
• ocaml / oloop

  View on GitHub
  Evaluate code through the OCaml toploop for inclusion in educational material.
  ☆13Jul 4, 2015Updated 10 years ago
• OCamlPro / ocplib-endian

  View on GitHub
  Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.
  ☆14Jun 27, 2022Updated 3 years ago
• ujamjar / hardcaml-affirm

  View on GitHub
  Verification tools for HardCaml
  ☆10Jun 13, 2018Updated 7 years ago
• cmangla / altera-sockit-hardcaml

  View on GitHub
  ☆10Nov 23, 2015Updated 10 years ago
• haesbaert / charrua-unix

  View on GitHub
  A DHCP server for UNIX systems based on charrua-core.
  ☆11May 24, 2017Updated 8 years ago
• TImada / mirage_iperf

  View on GitHub
  iperf like tool on MirageOS
  ☆11Sep 16, 2025Updated 5 months ago
• fxfactorial / ocaml-libssh

  View on GitHub
  OCaml bindings to libssh
  ☆14Jan 3, 2016Updated 10 years ago
• Khady / slack-backup

  View on GitHub
  OCaml cli tool to backup discussions (channels and conversations) from slack
  ☆10May 22, 2016Updated 9 years ago
• mirage / mmap

  View on GitHub
  File mapping
  ☆13Dec 14, 2023Updated 2 years ago
• verbosemode / syslogd-mirage

  View on GitHub
  MirageOS Syslog Unikernel
  ☆11Oct 30, 2016Updated 9 years ago
• samoht / loops-mirage

  View on GitHub
  Tutoriel MirageOS pour la 8e journée LoOPS
  ☆12Dec 17, 2015Updated 10 years ago
• dsheets / blueprint

  View on GitHub
  Simple templating based on XML ropes
  ☆12Sep 4, 2015Updated 10 years ago
• bobatkey / playtime

  View on GitHub
  An OCaml EDSL for describing and solving strategic games
  ☆17Sep 10, 2023Updated 2 years ago
• talex5 / spec-vchan

  View on GitHub
  A TLA+ specification for the Xen vchan protocol
  ☆15Jan 7, 2026Updated 2 months ago
• hammerlab / coclobas

  View on GitHub
  Configurable Cloudy Batch Scheduler
  ☆16Sep 27, 2017Updated 8 years ago
• yallop / ocaml-safe-string-buffer

  View on GitHub
  A buffer implementation optimized for immutable strings.
  ☆14Feb 5, 2016Updated 10 years ago
• jubnzv / moonsmith

  View on GitHub
  A random generator of Lua programs
  ☆12Feb 21, 2026Updated 2 weeks ago
• lcdunstan / reqtrace

  View on GitHub
  Requirement traceability tool for OCaml
  ☆13Jun 21, 2015Updated 10 years ago
• rudenoise / mirage-dashboard

  View on GitHub
  A dashboard displaying useful data from MirageOS project and its related repositories.
  ☆12Sep 7, 2016Updated 9 years ago
• atacama-dev / llama-cpp-ocaml

  View on GitHub
  OCaml ctypes bindings to llama.cpp
  ☆15Jan 23, 2024Updated 2 years ago
• Armael / ocaml-wlc

  View on GitHub
  Experimental OCaml bindings for Wlc
  ☆16Apr 6, 2015Updated 10 years ago
• samoht / topkg-jbuilder

  View on GitHub
  Helpers for using topkg with jbuilder
  ☆15Oct 12, 2017Updated 8 years ago
• mor1 / ocaml-tftp

  View on GitHub
  ☆18Mar 12, 2016Updated 9 years ago
• Octachron / talaria_bibtex

  View on GitHub
  A bibtex file parser
  ☆21Feb 11, 2024Updated 2 years ago
• ryanslade / nsq-ocaml

  View on GitHub
  OCaml client library for the NSQ messaging platform
  ☆13May 5, 2022Updated 3 years ago
• mirage / mirage-solo5

  View on GitHub
  Solo5 core platform libraries for MirageOS
  ☆19Oct 2, 2025Updated 5 months ago
• chrismamo1 / ppx_netblob

  View on GitHub
  OCaml ppx to include binary data from a url as a string
  ☆14May 20, 2017Updated 8 years ago
• joscoh / why3-semantics

  View on GitHub
  Formal Semantics for Why3
  ☆20Sep 28, 2025Updated 5 months ago
• mirage / mirage-vnetif

  View on GitHub
  Virtual network interface and software bridge for Mirage
  ☆16Mar 6, 2025Updated last year
• ujamjar / hardcaml-examples

  View on GitHub
  HardCaml example designs
  ☆18Jun 13, 2018Updated 7 years ago
• mirleft / tlstools

  View on GitHub
  some TLS utilities
  ☆17Mar 4, 2016Updated 10 years ago
• hvenev / wgconfd

  View on GitHub
  A configuration manager for WireGuard
  ☆17Feb 5, 2020Updated 6 years ago
• Gbury / ocaml-cgroups

  View on GitHub
  OCaml interface to cgroups
  ☆21Sep 16, 2022Updated 3 years ago
• ocaml-opam / Camelus

  View on GitHub
  Bot posting reports on opam-repository pull-request using a web hook
  ☆17Apr 1, 2020Updated 5 years ago
• tarides / unikernels

  View on GitHub
  MirageOS unikernels
  ☆20May 31, 2022Updated 3 years ago
• RyanGibb / caledonia

  View on GitHub
  Command-line and Emacs Calendar Client
  ☆23Feb 25, 2026Updated last week
• ygrek / opam-bundle

  View on GitHub
  small tool to create OCaml software bundles from OPAM packages, superseded by builtin functionality in opam 2
  ☆18Aug 8, 2015Updated 10 years ago