smimram / funkLinks
Functional kernel written in OCaml.
☆34Updated 11 years ago
Alternatives and similar repositories for funk
Users that are interested in funk are comparing it to the libraries listed below
Sorting:
- Relational programming for OCaml (unreleased)☆25Updated 3 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 9 months ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆57Updated 11 months ago
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆54Updated 6 months ago
- OCaml-TLS exposed to C☆23Updated 7 years ago
- Efficient Bloom filters for OCaml☆38Updated 3 years ago
- OCaml bindings for LZ4, a very fast lossless compression algorithm☆25Updated 2 years ago
- A B-Tree implementation in OCaml☆23Updated 8 years ago
- Software construction and deployment kit☆34Updated this week
- Membership protocol for Mirage unikernel clusters based on SWIM☆18Updated 9 years ago
- Plan9 software ported to OCaml☆34Updated 2 weeks ago
- Pure OCaml library to read and write tar files☆55Updated last month
- Choice operator in OCaml, providing a backtracking monad☆26Updated 3 years ago
- Building Lua interpreters with lot's of functors☆13Updated 7 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- Pure OCaml implementation of the "vchan" shared-memory communication protocol☆45Updated 6 months ago
- Microsite for the MirageOS hack retreats☆13Updated 3 weeks ago
- Functional Priority Search Queues for OCaml☆53Updated last year
- Parsing library based on Earley Algorithm☆18Updated 3 months ago
- Library for manipulating ISO images☆12Updated 6 years ago
- An OCaml library for describing Protobuf messages☆30Updated 4 years ago
- OCaml library to work with DWARF format☆37Updated last month
- ☆38Updated 5 years ago
- Collect profiling information☆18Updated 2 years ago
- a distributed computing library for OCaml☆24Updated last year
- Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl☆57Updated 4 years ago
- OCaml parser for RFC 3164 Syslog messages☆24Updated 2 years ago
- An eDSL for MirageOS apps☆20Updated 7 years ago
- Yet another type combinator library☆54Updated 3 years ago
- nanomsg bindings for ocaml☆38Updated 4 years ago