mirage / mirage-xen
Xen core platform libraries for MirageOS
☆18Updated 8 months ago
Alternatives and similar repositories for mirage-xen:
Users that are interested in mirage-xen are comparing it to the libraries listed below
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Updated 5 years ago
- Memtrace library for MirageOS☆15Updated last month
- ☆32Updated last month
- Dissect OCaml compiled programs, and weight their content☆24Updated 2 years ago
- Lookup and load installed OCaml modules☆16Updated this week
- OCaml implementation of Secure Scuttlebutt protocol☆12Updated 5 years ago
- OCaml library to access Maildir folders☆18Updated 5 years ago
- Ocaml modular spam filter☆15Updated 4 months ago
- ☆18Updated 8 years ago
- Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.☆14Updated 2 years ago
- POSIX sendmsg bindings for OCaml☆16Updated 8 years ago
- Wrapper to Equinix API - Archived☆12Updated 3 months ago
- QOI image codec for OCaml (unreleased)☆11Updated 2 months ago
- line based patch, input is a unified diff☆23Updated last month
- A unikernel as an IRC client☆25Updated last year
- Parallel computation in OCaml - multicore for really poor people☆11Updated 4 years ago
- Efficient Bloom filters for OCaml☆36Updated 3 years ago
- OCaml interface to cgroups☆20Updated 2 years ago
- Use Bubblewrap to sandbox executables☆12Updated 3 years ago
- Constrained Application Protocol (RFC 7252) implementation for OCaml.☆11Updated 9 months ago
- Password based key derivation functions from PKCS#5, RFC 2898☆21Updated 6 months ago
- Library for manipulating ISO images☆12Updated 5 years ago
- The Ensemble distributed communications toolkit☆12Updated 4 years ago
- A small command-line tool to help with mechanical edition of opam files☆10Updated last year
- Software construction and deployment kit☆33Updated last week
- Io multiplexers bindings for ocaml (poll/kqueue/epoll and so on)☆28Updated 5 months ago
- Elliptic Curve Diffie-Hellman on Edwards Curves (X25519, X448)