smimram / funkLinks
Functional kernel written in OCaml.
☆36Updated 12 years ago
Alternatives and similar repositories for funk
Users that are interested in funk are comparing it to the libraries listed below
Sorting:
- Raspberry Pi boot support for the OCaml system (unreleased)☆56Updated last year
- Pure OCaml library to read and write tar files☆55Updated 2 months ago
- Efficient Bloom filters for OCaml☆38Updated 4 years ago
- Relational programming for OCaml (unreleased)☆24Updated 3 years ago
- OCaml bindings for LZ4, a very fast lossless compression algorithm☆25Updated 2 years ago
- OCaml-TLS exposed to C☆23Updated 7 years ago
- A platform-agnostic multi-level index☆33Updated 3 months ago
- Embed typed ASN.1 grammars in OCaml☆36Updated last year
- Plan9 software ported to OCaml☆36Updated this week
- Yet another type combinator library☆55Updated 3 years ago
- An OCaml library for describing Protobuf messages☆30Updated 4 years ago
- Software construction and deployment kit☆36Updated last week
- OCaml library to work with DWARF format☆37Updated last month
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆54Updated 9 months ago
- Pure OCaml implementation of the "vchan" shared-memory communication protocol☆45Updated 10 months ago
- An eDSL for MirageOS apps☆20Updated 7 years ago
- ☆38Updated 6 years ago
- Bindings to the various POSIX APIs☆28Updated last week
- nanomsg bindings for ocaml☆38Updated 5 years ago
- Functional Priority Search Queues for OCaml☆53Updated last year
- Dynamic loader for OCaml☆14Updated 16 years ago
- Infrastructure to collect metrics from OCaml applications.☆46Updated 6 months ago
- An OCaml implementation of the FUSE protocol versions 7.8 and 7.23☆30Updated 7 years ago
- Parsing library based on Earley Algorithm☆18Updated 7 months ago
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 9 years ago
- Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl☆56Updated 5 years ago
- Membership protocol for Mirage unikernel clusters based on SWIM☆18Updated 9 years ago
- A DSL to invoke otherworldly functors☆63Updated 3 years ago
- A traceable distributed computation framework☆23Updated 6 years ago
- Library for manipulating ISO images☆12Updated 6 years ago