samoht / mirage-sealLinks
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
- establish trust in community repositories, cryptographically signed by library authors☆33Updated 3 weeks ago
- A collection of tools to manage the configuration of OCaml projects☆54Updated 9 years ago
- A dashboard displaying useful data from MirageOS project and its related repositories.☆12Updated 8 years ago
- Lwt-compatible IMAP4rev1 client library for OCaml☆40Updated 4 years ago
- A DHCP server for UNIX systems based on charrua-core.☆11Updated 8 years ago
- small tool to create OCaml software bundles from OPAM packages, superseded by builtin functionality in opam 2☆18Updated 9 years ago
- OCaml bindings to libssh☆14Updated 9 years ago
- Requirement traceability tool for OCaml☆13Updated 9 years ago
- ☆18Updated 9 years ago
- OCaml parser for RFC 3164 Syslog messages☆24Updated 2 years ago
- A DSL to invoke otherworldly functors☆63Updated 2 years ago
- A jabber logger and web interface☆13Updated last year
- WIP Handbook for MirageOS☆14Updated 7 years ago
- OCaml library for forking child processes to perform work on multiple cores☆19Updated 5 years ago
- HTML validation on command line☆18Updated 5 years ago
- Get an OCaml project up and running instantly.☆9Updated 9 years ago
- Off-the-record (OTR) messaging protocol, purely in OCaml☆39Updated 6 months ago
- Compile-time rewrite rules for OCaml☆17Updated 9 years ago
- OCaml parsers for multiple key formats☆15Updated 10 months ago
- Sandboxed build environment for opam projects☆14Updated 9 years ago
- A loyal and faithful synchronisation tool that you can rely on.☆47Updated 9 years ago
- automatic ci configuration for the people☆35Updated 5 years ago
- Reactive programming… in the shell☆30Updated 7 years ago
- Simple templating based on XML ropes☆12Updated 9 years ago
- MirageOS Syslog Unikernel☆11Updated 8 years ago
- OCaml interface to cgroups☆20Updated 2 years ago
- A tool for creating new OCaml projects with OPAM, Oasis, and Merlin☆24Updated 8 years ago