mirage / mirage-decksLinks
These are the MirageOS slide decks, written as a self-hosting unikernel
☆13Updated 7 years ago
Alternatives and similar repositories for mirage-decks
Users that are interested in mirage-decks are comparing it to the libraries listed below
Sorting:
- Scripting with Least Privilege☆109Updated 8 years ago
- 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
- Demonstration NATting unikernel.☆29Updated 9 years ago
- Unix architecture evolution diagrams☆82Updated 6 years ago
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆50Updated 9 years ago
- A highly portable build system targeting modern UNIX systems. Supports C, OCaml, TeX, METAPOST, NOWEB, M4, and more. Based on BSD Make.☆105Updated last month
- Ready-made packages of software for running on the Rumprun unikernel☆204Updated 2 years ago
- An exercise in cryptographic minimlism☆24Updated 10 years ago
- ZeroScript☆82Updated 9 years ago
- echo prints the first positional argument to stdout☆59Updated 8 years ago
- Provides a platform to experiment with using Docker to build, distribute and run unikernels.☆95Updated 7 years ago
- This project is now abandoned. Please use the dotfiles repository directly.☆12Updated 9 years ago
- An Actor-based framework for Lua☆37Updated 9 years ago
- Control and diagnostic applications for rump kernels☆36Updated 8 years ago
- Schrödinger's Tcl☆30Updated 10 years ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 9 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆70Updated 15 years ago
- Linux kernel with Capsicum support☆208Updated 5 years ago
- The `docker run unikernel` demo DockerCon EU (Nov 2015)☆142Updated 9 years ago
- A graph based REPL that saves to and loads from disk☆44Updated 10 years ago
- 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
- Getting Widespread OCaml Adoption☆84Updated 7 years ago
- Website infrastructure and content for mirage.io☆171Updated 2 months ago
- A DNS server that automatically starts unikernels on demand☆304Updated 9 years ago
- Swift middleware for Zerocloud☆53Updated 6 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- Tools and ideas to help with PGP keys and fingerprint verification☆58Updated last year
- ZeroVM Run-Time environment☆65Updated 10 years ago
- An example of PEG usage☆55Updated 8 years ago
- a multi-syntax language☆136Updated 9 years ago