mirage / mirage-unixLinks
Unix core platform libraries for MirageOS
☆13Updated 3 months ago
Alternatives and similar repositories for mirage-unix
Users that are interested in mirage-unix are comparing it to the libraries listed below
Sorting:
- Building Lua interpreters with lot's of functors☆13Updated 6 years ago
- A small command-line tool to help with mechanical edition of opam files☆10Updated last year
- ☆11Updated 9 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
- Library for manipulating ISO images☆12Updated 5 years ago
- Binding to the WiringPi library☆13Updated 3 years ago
- QOI image codec for OCaml (unreleased)☆11Updated 7 months ago
- Dissect OCaml compiled programs, and weight their content☆25Updated 2 years ago
- Simple templating based on XML ropes☆12Updated 9 years ago
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Updated 5 years ago
- Lookup and load installed OCaml modules☆16Updated 4 months ago
- IRC logger using Irmin for persistence☆10Updated 9 years ago
- experiments with Brr/Note☆13Updated 3 years ago
- ocamldoc comment syntax parser☆19Updated 5 years ago
- An implementation of some 0MQ RFCs in OCaml for MirageOS☆11Updated 6 years ago
- ☆21Updated last year
- HTTP combinators for MirageOS☆12Updated 5 years ago
- Xen core platform libraries for MirageOS☆18Updated 4 months ago
- POSIX sendmsg bindings for OCaml☆16Updated 8 years ago
- a distributed computing library for OCaml☆24Updated last year
- Convert a cmi file back to an mli interface☆14Updated 12 years ago
- easy-to-use wrapper for OCaml's Dynlink☆16Updated 8 years ago
- a ppx_deriving plugin for crowbar generators☆20Updated 5 years ago
- Bot posting reports on opam-repository pull-request using a web hook☆18Updated 5 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Updated 3 months ago
- Password based key derivation functions from PKCS#5, RFC 2898☆21Updated 10 months ago
- ☆18Updated 9 years ago
- Convert a cmi file back to an mli interface☆18Updated 10 years ago
- An eDSL for MirageOS apps☆20Updated 6 years ago
- MirageOS unikernel to test networking☆16Updated 2 years ago