mirage / mirage-skeleton
Examples of simple MirageOS apps
☆229Updated last month
Alternatives and similar repositories for mirage-skeleton:
Users that are interested in mirage-skeleton are comparing it to the libraries listed below
- Website infrastructure and content for mirage.io☆172Updated 5 months ago
- Albatross: orchestrate and manage MirageOS unikernels with Solo5☆151Updated this week
- A git-blogging unikernel written using MirageOS☆120Updated last year
- TLS in pure OCaml☆307Updated 2 months ago
- Pure OCaml Git format and protocol☆364Updated last month
- TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.☆344Updated this week
- Freestanding OCaml runtime☆103Updated last month
- Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This prov…☆77Updated 4 years ago
- Generated OCaml bindings for Amazon Web Services☆139Updated 9 months ago
- A REST toolkit for OCaml☆223Updated 3 years ago
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆50Updated 9 years ago
- Purely functional SSH library in ocaml.☆103Updated this week
- Ready-made packages of software for running on the Rumprun unikernel☆204Updated 2 years ago
- OCaml implementation of the DNS protocol☆105Updated this week
- Reagents for multicore OCaml☆126Updated last year
- Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git☆63Updated 5 years ago
- Web server in OCaml.☆101Updated last month
- OCaml Amqp client library for Async and Lwt.☆62Updated 10 months ago
- A DNS server that automatically starts unikernels on demand☆305Updated 8 years ago
- A DHCP library in OCaml☆55Updated 2 months ago
- A Protobuf Compiler for OCaml☆182Updated 6 months ago
- Dereference URIs into communication channels for Async or Lwt☆83Updated last month
- Jane Street's standard library overlay (kernel)☆216Updated 4 months ago
- Simplify the configuration of editors for using OCaml tools☆82Updated 7 months ago
- ZeroMQ bindings for OCaml☆81Updated 10 months ago
- MirageOS unikernels☆52Updated 3 years ago
- A sandboxed execution environment for unikernels☆930Updated last month
- A DSL to invoke otherworldly functors☆62Updated 2 years ago
- A Hodgepodge of functions for living in the OCaml ecosystem☆62Updated 5 years ago
- Cabal like system for OCaml☆128Updated 4 years ago