robur-coop / unikernels
MirageOS unikernels
☆51Updated 3 years ago
Alternatives and similar repositories for unikernels:
Users that are interested in unikernels are comparing it to the libraries listed below
- A Mirage filesystem library☆43Updated 3 years ago
- A DSL to invoke otherworldly functors☆62Updated 2 years ago
- A library for manipulation of IP (and MAC) address representations☆40Updated 3 weeks ago
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 5 years ago
- OCaml-TLS exposed to C☆23Updated 7 years ago
- MirageOS unikernels☆20Updated 2 years ago
- MirageOS traceroute unikernel☆17Updated 2 weeks ago
- An eDSL for MirageOS apps☆19Updated 6 years ago
- wireguard but this time it's in ocaml☆1Updated 5 years ago
- Xen core platform libraries for MirageOS☆18Updated last month
- Infrastructure to collect metrics from OCaml applications.☆45Updated 3 weeks ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆55Updated 5 months ago
- Bindings to the various POSIX APIs☆27Updated last month
- Microsite for the MirageOS hack retreats☆13Updated 2 weeks ago
- The Noise Protocol Framework, with types☆26Updated 3 years ago
- Bot posting reports on opam-repository pull-request using a web hook☆18Updated 4 years ago
- Minimal support for Canonical S-expressions☆28Updated last year
- OCaml binding to LXC with idiomatic (and opionated) OCaml API design☆13Updated 5 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆39Updated 8 months ago
- Efficient Bloom filters for OCaml☆36Updated 3 years ago
- Result value combinators for OCaml☆37Updated last year
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆54Updated 2 weeks ago
- Yet another type combinator library☆54Updated 3 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 3 months ago
- Postes, Télégraphes et Téléphones☆28Updated last month
- A library of splittable pseudo-random number generators for OCaml☆34Updated 2 months ago
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 8 years ago
- OCaml BitTorrent library and client☆39Updated 2 years ago
- A traceable distributed computation framework☆22Updated 5 years ago
- Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.☆28Updated last year