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:
- An eDSL for MirageOS apps☆20Updated 7 years ago
- Infrastructure to collect metrics from OCaml applications.☆45Updated last month
- A Mirage filesystem library☆44Updated 3 years ago
- Minimal support for Canonical S-expressions☆28Updated 2 years ago
- Efficient Bloom filters for OCaml☆38Updated 3 years ago
- A DSL to invoke otherworldly functors☆63Updated 2 years ago
- MirageOS unikernels☆20Updated 3 years ago
- Yet another type combinator library☆54Updated 3 years ago
- Paste-eur as unikernel☆65Updated 5 months ago
- Functional Priority Search Queues for OCaml☆53Updated last year
- Software construction and deployment kit☆33Updated this week
- Bindings to the various POSIX APIs☆27Updated last month
- heterogenous Map over a GADT☆42Updated 7 months ago
- OCaml parser for RFC 3164 Syslog messages☆24Updated 2 years ago
- Collect profiling information☆18Updated 2 years ago
- OCaml bit vector library☆34Updated last month
- A library for manipulation of IP (and MAC) address representations☆40Updated 4 months ago
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 5 years ago
- The Noise Protocol Framework, with types☆26Updated 3 years ago
- wireguard but this time it's in ocaml☆1Updated 5 years ago
- OCaml library for resizable arrays and strings☆26Updated last week
- WIP Handbook for MirageOS☆14Updated 7 years ago
- MirageOS on RPi4☆63Updated 2 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆40Updated last month
- Raspberry Pi boot support for the OCaml system (unreleased)☆57Updated 9 months ago
- Pong, the operating system version☆36Updated 6 years ago
- Result value combinators for OCaml☆37Updated last year
- Ocaml bindings to Argon2☆29Updated last year
- Implementation of SMTP protocols in OCaml☆44Updated last month
- Microsite for the MirageOS hack retreats☆13Updated 4 months ago