smimram / funk
Functional kernel written in OCaml.
☆32Updated 11 years ago
Alternatives and similar repositories for funk:
Users that are interested in funk are comparing it to the libraries listed below
- Relational programming for OCaml (unreleased)☆25Updated 2 years ago
- OCaml parser for RFC 3164 Syslog messages☆24Updated last year
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆54Updated last month
- Software construction and deployment kit☆33Updated 2 weeks ago
- Pure OCaml library to read and write tar files☆56Updated last month
- OCaml interface to cgroups☆20Updated 2 years ago
- ☆38Updated 5 years ago
- OCaml library to work with DWARF format☆34Updated 2 months ago
- Choice operator in OCaml, providing a backtracking monad☆25Updated 3 years ago
- OCaml BitTorrent library and client☆39Updated 2 years ago
- Membership protocol for Mirage unikernel clusters based on SWIM☆18Updated 9 years ago
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 8 years ago
- Literate assertions for OCaml☆18Updated 5 years ago
- nanomsg bindings for ocaml☆38Updated 4 years ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆44Updated 5 years ago
- ☆18Updated 9 years ago
- Xen core platform libraries for MirageOS☆18Updated 2 months ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆55Updated 5 months ago
- A simple library for manipulating Master Boot Records☆18Updated last month
- Bindings to the various POSIX APIs☆27Updated 2 months ago
- Library for manipulating ISO images☆12Updated 5 years ago
- Dissect OCaml compiled programs, and weight their content☆24Updated 2 years ago
- OCaml bindings for LZ4, a very fast lossless compression algorithm☆25Updated last year
- Microsite for the MirageOS hack retreats☆13Updated last month
- Hexadecimal converter☆29Updated 10 months ago
- Building Lua interpreters with lot's of functors☆13Updated 6 years ago
- ocamldoc comment syntax parser☆18Updated 4 years ago
- ☆21Updated last year
- Infrastructure to collect metrics from OCaml applications.☆45Updated last month
- Lwt-compatible IMAP4rev1 client library for OCaml☆40Updated 4 years ago