tarides / unikernelsLinks
MirageOS unikernels
☆20Updated 3 years ago
Alternatives and similar repositories for unikernels
Users that are interested in unikernels are comparing it to the libraries listed below
Sorting:
- Building Lua interpreters with lot's of functors☆13Updated 7 years ago
- OCaml bindings to Windows' IOCP API☆17Updated 2 years ago
- Lookup and load installed OCaml modules☆17Updated 6 months ago
- Pure & Incomplete STUN protocol in OCaml☆14Updated 3 years ago
- Xen core platform libraries for MirageOS☆18Updated last year
- Dissect OCaml compiled programs, and weight their content☆25Updated 3 years ago
- A small command-line tool to help with mechanical edition of opam files☆10Updated 2 years ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Updated last year
- J'ai plus mal à la tête maintenant☆25Updated last month
- a MirageOS OAuth2 authorization server for Etsy authentication☆18Updated 3 years ago
- a small, simple block-backed key-value store for MirageOS☆31Updated 3 months ago
- ☆17Updated this week
- Relational programming for OCaml (unreleased)☆24Updated 3 years ago
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Updated 6 years ago
- An opiniated file-system for MirageOS☆26Updated 8 months ago
- Software construction and deployment kit☆36Updated 3 weeks ago
- OCaml PPX extension for automatically generating Irmin types☆11Updated 6 years ago
- An implementation of happy eyeballs (RFC 8305) in OCaml with lwt☆22Updated 8 months ago
- Address resolution protocol (ARP) implementation in OCaml targeting MirageOS☆23Updated 3 months ago
- Port of HTTP/AF & H2 with Mirage and mimic☆30Updated 11 months ago
- Experimental opam plugin☆19Updated 2 months ago
- ☆13Updated last year
- Library for manipulating ISO images☆12Updated 6 years ago
- Microsite for the MirageOS hack retreats☆13Updated 2 months ago
- Experimental portable bitmap framebuffer graphics for MirageOS☆17Updated 5 years ago
- A simple implementation of Discrete Interval Encoding Trees☆28Updated 3 years ago
- ☆21Updated 6 years ago
- Ocaml modular spam filter☆16Updated last year
- DKIM support on e-mail☆11Updated this week
- Moved to https://git.jeffas.net☆15Updated 6 years ago