Alternatives and similar repositories for sandboxing:

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

• robur-coop / dnsvizor
  A DNSmasq-like MirageOS unikernel
  ☆24Updated last month
• reynir / banawa-chat
  SSH chat server using trust on first use for user registration
  ☆31Updated 7 months ago
• mirage / ocaml-mbr
  A simple library for manipulating Master Boot Records
  ☆18Updated last month
• robur-coop / webauthn
  Mirror of https://git.robur.coop/robur/webauthn/
  ☆28Updated 6 months ago
• ocurrent / obuilder
  Experimental "docker build" alternative using btrfs/zfs snapshots
  ☆60Updated last month
• mirage / ocaml-hvsock
  Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)
  ☆15Updated 2 years ago
• cfcs / PongOS
  Pong, the operating system version
  ☆36Updated 6 years ago
• Armael / ocaml-i3ipc
  A pure OCaml implementation of the i3 IPC protocol
  ☆24Updated 2 years ago
• janestreet / ocaml_intrinsics
  Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…
  ☆33Updated last week
• colis-anr / lintshell
  A user-extensible lint for POSIX shell
  ☆11Updated 5 years ago
• Kicksecure / sandbox-app-launcher
  An app launcher to start apps in a restrictive sandbox https://www.kicksecure.com/wiki/sandbox-app-launcher
  ☆41Updated 2 months ago
• bluhm / tcpbench-portable
  OpenBSD tcpbench ported to GNU/Linux
  ☆14Updated 3 months ago
• ocamllabs / focs-notebooks
  Foundations of Computer Science notebooks
  ☆16Updated 6 months ago
• colis-anr / colis-language
  A symbolic analyser for shell scripts.
  ☆22Updated 3 years ago
• yomimono / url-shortener
  Example URL shortener MirageOS unikernel using Chamelon.
  ☆18Updated 2 years ago
• robur-coop / miragevpn
  An opinionated implementation of the OpenVPN protocol
  ☆79Updated last month
• mirage / conan
  Like detective conan, find clue about the type of the file
  ☆52Updated last week
• 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 11 months ago
• kpcyrd / tr1pd
  tamper resistant audit log
  ☆18Updated 6 years ago
• mirage / spamtacus
  Ocaml modular spam filter
  ☆16Updated 7 months ago
• Armael / ocaml-kittyimg
  Implementation of kitty's terminal graphics protocol
  ☆13Updated 11 months ago
• am11 / VoidMuslWSL
  Install Void Linux (with musl-libc) as a WSL Instance (for Windows 10 1803 64bit or later)
  ☆28Updated last year
• robur-coop / traceroute
  MirageOS traceroute unikernel
  ☆17Updated last month
• marcoonroad / nocoiner
  A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort.
  ☆11Updated 2 years ago
• picty / concerto
  Toolset to analyse TLS datasets
  ☆12Updated 5 years ago
• robur-coop / u2f
  U2F (FIDO Universal 2nd Factor) in OCaml
  ☆25Updated 7 months ago
• robur-coop / tlstunnel
  A TLS reverse proxy unikernel
  ☆36Updated last month
• abbysmal / Toolboy
  A set of tools to work with Gameboy stuff
  ☆13Updated 2 years ago
• jerith / chaocaml
  An OCaml client library for Discord
  ☆13Updated 9 years ago
• orbitz / opass
  Simple password db
  ☆23Updated 6 years ago