robur-coop / unikernelsLinks
MirageOS unikernels
☆52Updated 4 years ago
Alternatives and similar repositories for unikernels
Users that are interested in unikernels are comparing it to the libraries listed below
Sorting:
- Infrastructure to collect metrics from OCaml applications.☆46Updated 6 months ago
- A library for manipulation of IP (and MAC) address representations☆40Updated 2 months ago
- A DSL to invoke otherworldly functors☆63Updated 3 years ago
- An eDSL for MirageOS apps☆20Updated 7 years ago
- heterogenous Map over a GADT☆42Updated last year
- A Mirage filesystem library☆45Updated 4 years ago
- Paste-eur as unikernel☆65Updated 10 months ago
- Bindings to the various POSIX APIs☆28Updated last week
- Software construction and deployment kit☆36Updated last week
- Efficient Bloom filters for OCaml☆38Updated 4 years ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆56Updated last year
- OCaml bit vector library☆34Updated 3 weeks ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆41Updated 6 months ago
- MirageOS unikernels☆20Updated 3 years ago
- Minimal support for Canonical S-expressions☆28Updated 2 years ago
- Yet another type combinator library☆55Updated 3 years ago
- Functional Priority Search Queues for OCaml☆53Updated last year
- My notes about the Notty library https://github.com/pqwy/notty☆44Updated 4 years ago
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆54Updated 10 months ago
- Pong, the operating system version☆36Updated 6 years ago
- Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel☆71Updated last month
- Collect profiling information☆18Updated 2 years ago
- Agnostic benchmark in OCaml (proof-of-concept)☆43Updated last year
- OCaml parser for RFC 3164 Syslog messages☆24Updated 2 years ago
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 6 years ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Updated last year
- Work-in-Progress collection of examples of using MirageOS from OCaml☆22Updated 8 years ago
- Memory-efficient data structures in OCaml☆37Updated 4 years ago
- HTTP/2 types and framing for ocaml☆33Updated 6 years ago
- automatic ci configuration for the people☆35Updated 6 years ago