Alternatives and similar repositories for mirage-decks

Users that are interested in mirage-decks are comparing it to the libraries listed below

• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• yomimono / simple-nat
  Demonstration NATting unikernel.
  ☆29Updated 9 years ago
• Hullu2000 / BFTK
  Program to compile Brainfuk to a working i686 kernel.
  ☆31Updated 10 years ago
• dspinellis / unix-architecture
  Unix architecture evolution diagrams
  ☆82Updated 6 years ago
• rumpkernel / rumprun-packages
  Ready-made packages of software for running on the Rumprun unikernel
  ☆205Updated 3 years ago
• mirage / jitsu
  A DNS server that automatically starts unikernels on demand
  ☆304Updated 9 years ago
• wayfarerdb / Dialogue
  An Actor-based framework for Lua
  ☆37Updated 9 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆210Updated 5 years ago
• mato / docker-unikernel-runner
  Provides a platform to experiment with using Docker to build, distribute and run unikernels.
  ☆95Updated 7 years ago
• foretspaisibles / bsdowl
  A highly portable build system targeting modern UNIX systems. Supports C, OCaml, TeX, METAPOST, NOWEB, M4, and more. Based on BSD Make.
  ☆105Updated 5 months ago
• rongarret / clmm
  An exercise in cryptographic minimlism
  ☆24Updated 10 years ago
• kelseyhightower / echo
  echo prints the first positional argument to stdout
  ☆59Updated 8 years ago
• mirage / mirage-platform
  Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This prov…
  ☆78Updated 5 years ago
• mato / opam-rumprun
  OCaml 4.02 cross compiler for the rumprun unikernel stack
  ☆50Updated 9 years ago
• rumpkernel / wiki
  Wiki for rump kernels
  ☆460Updated 2 years ago
• linux-on-ibm-z / go
  A port of the Go programming language to the IBM LinuxONE. Issues are monitored, and comments/questions are welcome on our DeveloperWorks…
  ☆98Updated 8 years ago
• ModernPGP / keys
  Tools and ideas to help with PGP keys and fingerprint verification
  ☆57Updated last year
• ChimeraCoder / docker-without-docker
  A presentation about Docker, systemd, and containerization, given at the Recurse Center
  ☆79Updated 10 years ago
• LeptaSpace / zs
  ZeroScript
  ☆83Updated 10 years ago
• zalora / microgram
  ABANDONED
  ☆49Updated 9 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆29Updated 10 years ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆70Updated 15 years ago
• jakeogh / gpgmda
  GPG encrypting MDA
  ☆15Updated 6 months ago
• papers-we-love / zurich
  Papers We ❤️ Zurich
  ☆50Updated 3 weeks ago
• rootkovska / codehash.db
  A public database for software and firmware hashes
  ☆214Updated 9 years ago
• MagnusS / jitsu
  A DNS server that automatically starts unikernels on demand
  ☆22Updated 10 years ago
• kragniz / omochabako
  Toy container runtime, capable of running docker images
  ☆66Updated 4 years ago
• jeshaitan / Scicademy
  Scicademy is an open access student research journal/database.
  ☆39Updated 9 years ago
• j-baker / l1c
  l1c is a simple formally verified compiler for a while language
  ☆55Updated 5 years ago
• Unikernel-Systems / DockerConEU2015-demo
  The `docker run unikernel` demo DockerCon EU (Nov 2015)
  ☆142Updated 9 years ago