mirage / mirage-skeleton
Examples of simple MirageOS apps
☆227Updated 2 months ago
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 4 months ago
- Albatross: orchestrate and manage MirageOS unikernels with Solo5☆147Updated last 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
- A git-blogging unikernel written using MirageOS☆120Updated last year
- Pure OCaml Git format and protocol☆364Updated this week
- Freestanding OCaml runtime☆103Updated 2 months ago
- TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.☆343Updated 2 weeks ago
- TLS in pure OCaml☆306Updated 2 weeks ago
- A REST toolkit for OCaml☆223Updated 3 years ago
- Generated OCaml bindings for Amazon Web Services☆138Updated 7 months ago
- A DSL to invoke otherworldly functors☆62Updated 2 years ago
- Purely functional SSH library in ocaml.☆103Updated 2 weeks ago
- OCaml implementation of the DNS protocol☆105Updated this week
- Dereference URIs into communication channels for Async or Lwt☆83Updated this week
- Map OCaml arrays onto C-like structs☆106Updated last year
- Serialization library built for speed and memory efficiency☆137Updated 2 years ago
- OCaml Amqp client library for Async and Lwt.☆62Updated 8 months ago
- A sandboxed execution environment for unikernels☆926Updated 4 months ago
- Skeletons for CI scripts☆101Updated 2 years ago
- Reagents for multicore OCaml☆126Updated last year
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆50Updated 9 years ago
- A DHCP library in OCaml☆55Updated last week
- [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml☆119Updated 4 years ago
- Simplify the configuration of editors for using OCaml tools☆81Updated 5 months ago
- Cap'n Proto RPC implementation☆105Updated 2 weeks ago
- Property fuzzing for OCaml☆188Updated last year
- Unix system programming in OCaml book☆287Updated 6 years ago
- Tool for uploading unikernels into EC2☆76Updated 6 years ago
- Web server in OCaml.☆100Updated last month
- ZeroMQ bindings for OCaml☆81Updated 9 months ago