samoht / mirage-seal
Sealing local directories into Mirage Unikernels
☆27Updated 9 years ago
Alternatives and similar repositories for mirage-seal
Users that are interested in mirage-seal are comparing it to the libraries listed below
Sorting:
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆50Updated 9 years ago
- Small command-line tools for making certificates with OCaml x509/nocrypto toolstack.☆38Updated last year
- Membership protocol for Mirage unikernel clusters based on SWIM☆18Updated 9 years ago
- A dashboard displaying useful data from MirageOS project and its related repositories.☆12Updated 8 years ago
- establish trust in community repositories, cryptographically signed by library authors☆33Updated this week
- Lwt-compatible IMAP4rev1 client library for OCaml☆40Updated 4 years ago
- Off-the-record (OTR) messaging protocol, purely in OCaml☆39Updated 5 months ago
- Requirement traceability tool for OCaml☆13Updated 9 years ago
- A collection of tools to manage the configuration of OCaml projects☆54Updated 9 years ago
- HTML validation on command line☆18Updated 5 years ago
- Pure OCaml implementation of the "vchan" shared-memory communication protocol☆45Updated 2 months ago
- Simple templating based on XML ropes☆12Updated 9 years ago
- A DHCP server for UNIX systems based on charrua-core.☆11Updated 8 years ago
- A DSL to invoke otherworldly functors☆62Updated 2 years ago
- ☆18Updated 9 years ago
- Supports building of Mirage unikernels using Test Kitchen and Vagrant, and launching on AWS EC2☆19Updated 11 years ago
- small tool to create OCaml software bundles from OPAM packages, superseded by builtin functionality in opam 2☆18Updated 9 years ago
- A Mirage filesystem library☆43Updated 3 years ago
- imaplet revamp with Lwt☆19Updated 7 years ago
- Packer template to build Vagrant based Ubuntu + Xen development environment☆19Updated 9 years ago
- A DHCP library in OCaml☆55Updated 3 months ago
- WIP Handbook for MirageOS☆14Updated 7 years ago
- MirageOS IRC daemon.☆14Updated 7 years ago
- OCaml parsers for multiple key formats☆15Updated 9 months ago
- OCaml library for forking child processes to perform work on multiple cores☆19Updated 5 years ago
- Library for manipulating ISO images☆12Updated 5 years ago
- Small example MirageOS unikernels.☆15Updated 5 years ago
- A collection of functional, mergeable datatypes for Irmin☆12Updated 8 years ago
- OCaml based version of space-invaders☆14Updated 9 years ago
- Demonstration NATting unikernel.☆29Updated 8 years ago