robur-coop / unikernelsLinks
MirageOS unikernels
☆52Updated 3 years ago
Alternatives and similar repositories for unikernels
Users that are interested in unikernels are comparing it to the libraries listed below
Sorting:
- Paste-eur as unikernel☆65Updated 4 months ago
- A DSL to invoke otherworldly functors☆63Updated 2 years ago
- Infrastructure to collect metrics from OCaml applications.☆45Updated this week
- An eDSL for MirageOS apps☆20Updated 6 years ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆56Updated 8 months ago
- heterogenous Map over a GADT☆42Updated 6 months ago
- Postes, Télégraphes et Téléphones☆28Updated this week
- A library for manipulation of IP (and MAC) address representations☆40Updated 3 months ago
- Calendar server (CalDAV, RFC 4791) implementation in OCaml☆60Updated 2 months ago
- MirageOS unikernels☆20Updated 3 years ago
- A Mirage filesystem library☆43Updated 3 years ago
- Yet another type combinator library☆54Updated 3 years ago
- The Noise Protocol Framework, with types☆26Updated 3 years ago
- Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel☆64Updated last week
- Bot posting reports on opam-repository pull-request using a web hook☆18Updated 5 years ago
- Result value combinators for OCaml☆37Updated last year
- Microsite for the MirageOS hack retreats☆13Updated 3 months ago
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 5 years ago
- Efficient Bloom filters for OCaml☆38Updated 3 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆39Updated 11 months ago
- Bindings to the various POSIX APIs☆27Updated 2 months ago
- wireguard but this time it's in ocaml☆1Updated 5 years ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆28Updated 2 years ago
- Conjures up convenient OCaml types and serialization functions based on protobuf definition files☆19Updated 4 years ago
- Medium weight threads - preemptive thread pools for Lwt☆31Updated 4 years ago
- MirageOS on RPi4☆61Updated 2 years ago
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 8 years ago
- A platform-agnostic multi-level index☆33Updated 3 months ago
- Pure OCaml library to read and write tar files☆56Updated 3 months ago
- Pure OCaml implementation of the "vchan" shared-memory communication protocol☆45Updated 3 months ago