mirage / mirage-xen
Xen core platform libraries for MirageOS
☆18Updated last month
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
- Lookup and load installed OCaml modules☆16Updated 2 months ago
- Ocaml modular spam filter☆15Updated 6 months ago
- Memtrace library for MirageOS☆15Updated last month
- Dissect OCaml compiled programs, and weight their content☆24Updated 2 years ago
- ☆18Updated 9 years ago
- POSIX sendmsg bindings for OCaml☆16Updated 8 years ago
- OCaml library to access Maildir folders☆18Updated 6 years ago
- Wrapper to Equinix API - Archived☆12Updated 6 months ago
- Password based key derivation functions from PKCS#5, RFC 2898☆21Updated 8 months ago
- line based patch, input is a unified diff☆24Updated 3 weeks ago
- Efficient Bloom filters for OCaml☆36Updated 3 years ago
- Parallel computation in OCaml - multicore for really poor people☆11Updated 4 years ago
- OCaml implementation of Secure Scuttlebutt protocol☆12Updated 5 years ago
- Library for manipulating ISO images☆12Updated 5 years ago
- ☆11Updated 8 years ago
- ☆32Updated last month
- Convert a cmi file back to an mli interface☆18Updated 10 years ago
- Use Bubblewrap to sandbox executables☆12Updated 4 years ago
- Elliptic Curve Diffie-Hellman on Edwards Curves (X25519, X448)☆11Updated 4 years ago
- OCaml interface to cgroups☆20Updated 2 years ago
- A small command-line tool to help with mechanical edition of opam files☆10Updated last year
- QOI image codec for OCaml (unreleased)☆11Updated 5 months ago
- Pure & Incomplete STUN protocol in OCaml☆14Updated 2 years ago
- MirageOS unikernel to test networking☆16Updated last year
- An implementation of some 0MQ RFCs in OCaml for MirageOS☆11Updated 5 years ago
- Building Lua interpreters with lot's of functors☆13Updated 6 years ago
- Compat result type☆13Updated 5 years ago
- OCaml bindings to stb_truetype, a public domain truetype font rasterizer☆10Updated 2 years ago
- ☆21Updated last year