mirage / mirage-skeleton
Examples of simple MirageOS apps
☆227Updated last month
Related projects ⓘ
Alternatives and complementary repositories for mirage-skeleton
- Website infrastructure and content for mirage.io☆171Updated last month
- Albatross: orchestrate and manage MirageOS unikernels with Solo5☆143Updated this week
- TLS in pure OCaml☆304Updated 3 weeks ago
- A git-blogging unikernel written using MirageOS☆120Updated last year
- Freestanding OCaml runtime☆100Updated this week
- 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
- Pure OCaml Git format and protocol☆362Updated 2 months ago
- TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.☆341Updated 3 months ago
- Purely functional SSH library in ocaml.☆103Updated 2 months ago
- Generated OCaml bindings for Amazon Web Services☆138Updated 4 months ago
- A REST toolkit for OCaml☆221Updated 3 years ago
- A Protobuf Compiler for OCaml☆179Updated 2 months ago
- OCaml Amqp client library for Async and Lwt.☆62Updated 5 months ago
- A DHCP library in OCaml☆55Updated last week
- Skeletons for CI scripts☆101Updated 2 years ago
- OCaml implementation of the DNS protocol☆105Updated 2 weeks ago
- Web server in OCaml.☆100Updated 2 months ago
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆50Updated 8 years ago
- Library for binding to C libraries using pure OCaml☆371Updated 3 months ago
- Cap'n Proto RPC implementation☆100Updated this week
- Dereference URIs into communication channels for Async or Lwt☆83Updated last month
- Map OCaml arrays onto C-like structs☆106Updated last year
- Serialization library built for speed and memory efficiency☆135Updated 2 years ago
- A DSL to invoke otherworldly functors☆62Updated 2 years ago
- A neat interface for Slack☆81Updated 9 months ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆64Updated 2 years ago
- OCaml cryptographic library☆111Updated 4 years ago
- Archived - the Xen and ARM support in MirageOS has been superseeded by our PVH support - Build an SDcard image for Xen/ARM, for a Cubiebo…☆57Updated 5 years ago
- Error-recovering streaming HTML5 and XML parsers☆146Updated last month
- Tool for uploading unikernels into EC2☆76Updated 6 years ago