smimram / funkLinks
Functional kernel written in OCaml.
☆35Updated 11 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)☆57Updated last year
- Efficient Bloom filters for OCaml☆38Updated 3 years ago
- Relational programming for OCaml (unreleased)☆25Updated 3 years ago
- OCaml bindings for LZ4, a very fast lossless compression algorithm☆25Updated 2 years ago
- OCaml library to work with DWARF format☆37Updated last month
- Software construction and deployment kit☆34Updated 2 weeks ago
- Read and write FAT format filesystems from OCaml☆25Updated 4 months ago
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆54Updated 7 months ago
- Pure OCaml library to read and write tar files☆55Updated last month
- Pure OCaml implementation of the "vchan" shared-memory communication protocol☆45Updated 7 months ago
- Parsing library based on Earley Algorithm☆18Updated 4 months ago
- Yet another type combinator library☆54Updated 3 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 10 months ago
- OCaml-TLS exposed to C☆23Updated 7 years ago
- Functional Priority Search Queues for OCaml☆53Updated last year
- nanomsg bindings for ocaml☆38Updated 4 years ago
- Bindings to the various POSIX APIs☆27Updated 3 months ago
- Infrastructure to collect metrics from OCaml applications.☆46Updated 4 months ago
- Plan9 software ported to OCaml☆34Updated this week
- Building Lua interpreters with lot's of functors☆13Updated 7 years ago
- A DSL to invoke otherworldly functors☆63Updated 3 years ago
- Simple password db☆23Updated 6 years ago
- Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl☆57Updated 4 years ago
- Dynamic loader for OCaml☆14Updated 15 years ago
- a distributed computing library for OCaml☆24Updated last year
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- A platform-agnostic multi-level index☆33Updated 3 weeks ago
- Choice operator in OCaml, providing a backtracking monad☆26Updated 3 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