mattgray / horseosLinks
Horsing around with OCaml and MirageOS
☆12Updated 10 years ago
Alternatives and similar repositories for horseos
Users that are interested in horseos are comparing it to the libraries listed below
Sorting:
- A DHCP server for UNIX systems based on charrua-core.☆11Updated 8 years ago
- Library for manipulating ISO images☆12Updated 6 years ago
- ☆18Updated 9 years ago
- Bootstrap scripts to build standalone OPAM projects☆15Updated 7 years ago
- MirageOS unikernel to test networking☆16Updated 2 years ago
- OCaml parser for RFC 3164 Syslog messages☆24Updated 2 years ago
- MirageOS Syslog Unikernel☆11Updated 8 years ago
- Simple templating based on XML ropes☆12Updated 9 years ago
- Membership protocol for Mirage unikernel clusters based on SWIM☆18Updated 9 years ago
- Basic password manager library and command-line application in OCaml☆12Updated 7 years ago
- OCaml interface to cgroups☆20Updated 2 years ago
- telnet protocol in OCaml☆14Updated 8 years ago
- Tutoriel MirageOS pour la 8e journée LoOPS☆12Updated 9 years ago
- IRC logger using Irmin for persistence☆10Updated 9 years ago
- OCaml bindings to libssh☆14Updated 9 years ago
- A dashboard displaying useful data from MirageOS project and its related repositories.☆12Updated 8 years ago
- Packer template to build Vagrant based Ubuntu + Xen development environment☆19Updated 9 years ago
- Binding to the WiringPi library☆13Updated 3 years ago
- Curve25519 in OCaml.☆16Updated 6 years ago
- Requirement traceability tool for OCaml☆13Updated 10 years ago
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Updated 5 years ago
- Scrypt key derivation function in pure OCaml as defined in https://tools.ietf.org/html/draft-josefsson-scrypt-kdf-04☆17Updated 4 years ago
- Helpers for using topkg with jbuilder☆16Updated 7 years ago
- A planet (feed aggregator) for OCaml.☆27Updated 9 months ago
- Ctypes bindings to flock(2) for OCaml☆15Updated last year
- A collection of functional, mergeable datatypes for Irmin☆12Updated 8 years ago
- ☆11Updated 9 years ago
- A buffer implementation optimized for immutable strings.☆15Updated 9 years ago
- A small command-line tool to help with mechanical edition of opam files☆10Updated 2 years ago
- HTML validation on command line☆18Updated 5 years ago