Alternatives and similar repositories for sandboxing

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

• ocurrent / obuilder
  Experimental "docker build" alternative using btrfs/zfs snapshots
  ☆62Updated 2 months ago
• mirage / ocaml-hvsock
  Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)
  ☆16Updated last month
• robur-coop / miragevpn
  An opinionated implementation of the OpenVPN protocol
  ☆79Updated last month
• darrenldl / stramon
  Process behavior monitoring utility and library based on strace
  ☆28Updated 2 years ago
• mirage / ocaml-mbr
  A simple library for manipulating Master Boot Records
  ☆18Updated 7 months ago
• Frama-C / headache
  Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).
  ☆24Updated last year
• cfcs / PongOS
  Pong, the operating system version
  ☆36Updated 6 years ago
• hannesm / tlsclient
  TLS client program
  ☆11Updated 5 years ago
• talex5 / spec-vchan
  A TLA+ specification for the Xen vchan protocol
  ☆14Updated 6 years ago
• reynir / banawa-chat
  SSH chat server using trust on first use for user registration
  ☆33Updated 5 months ago
• robur-coop / dnsvizor
  A DNSmasq-like MirageOS unikernel
  ☆27Updated last week
• colis-anr / colis-language
  A symbolic analyser for shell scripts.
  ☆22Updated 4 years ago
• robur-coop / webauthn
  Mirror of https://git.robur.coop/robur/webauthn/
  ☆30Updated last month
• yomimono / url-shortener
  Example URL shortener MirageOS unikernel using Chamelon.
  ☆18Updated 3 years ago
• astrada / ocamlfuse
  OCamlFuse mirror with dune support
  ☆32Updated 5 months ago
• robur-coop / u2f
  U2F (FIDO Universal 2nd Factor) in OCaml
  ☆25Updated last year
• Chris00 / ocaml-bwrap
  Use Bubblewrap to sandbox executables
  ☆12Updated 4 years ago
• robur-coop / tlstunnel
  A TLS reverse proxy unikernel
  ☆36Updated last month
• robur-coop / traceroute
  MirageOS traceroute unikernel
  ☆17Updated 2 weeks ago
• robur-coop / conex
  establish trust in community repositories, cryptographically signed by library authors
  ☆37Updated this week
• rixed / ramen
  A stream processing language and compiler for small-scale monitoring
  ☆14Updated 7 months ago
• Armael / ocaml-i3ipc
  A pure OCaml implementation of the i3 IPC protocol
  ☆25Updated 3 years ago
• reynir / qubes-mirage-ssh-agent
  Ssh-agent unikernel for QubesOS
  ☆22Updated 2 years ago
• processone / jamler
  ☆14Updated last year
• orbitz / opass
  Simple password db
  ☆23Updated 6 years ago
• mirage / ocaml-dkim
  DKIM support on e-mail
  ☆11Updated 4 months ago
• kit-ty-kate / ocamldap
  Ocamldap is an implementation of the Light Weight Directory Access Protocol
  ☆14Updated 3 weeks ago
• fafk / merkle_storage
  Key-value git-like storage with full history backed by RocksDB
  ☆13Updated 5 years ago
• talex5 / qubes-test-mirage
  Scripts I use to test Mirage unikernels on QubesOS
  ☆10Updated 5 years ago
• mirage / qubes-mirage-skeleton
  An example Mirage unikernel that runs as a Qubes AppVM
  ☆23Updated 4 years ago