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
- Efficient Bloom filters for OCaml☆38Updated 3 years ago
- Relational programming for OCaml (unreleased)☆24Updated 3 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 11 months ago
- OCaml bindings for LZ4, a very fast lossless compression algorithm☆25Updated 2 years ago
- nanomsg bindings for ocaml☆38Updated 5 years ago
- Read and write FAT format filesystems from OCaml☆25Updated 6 months ago
- Software construction and deployment kit☆35Updated 3 weeks ago
- Pure OCaml library to read and write tar files☆55Updated last month
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- Infrastructure to collect metrics from OCaml applications.☆46Updated 5 months ago
- OCaml-TLS exposed to C☆23Updated 7 years ago
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆54Updated 8 months ago
- Plan9 software ported to OCaml☆35Updated this week
- Simple password db☆23Updated 7 years ago
- An Irmin backend for a web browser's IndexedDB store☆33Updated 10 months ago
- An eDSL for MirageOS apps☆20Updated 7 years ago
- Choice operator in OCaml, providing a backtracking monad☆26Updated 3 years ago
- Pure OCaml implementation of the "vchan" shared-memory communication protocol☆45Updated 8 months ago
- Yet another type combinator library☆55Updated 3 years ago
- Functional Priority Search Queues for OCaml☆53Updated last year
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 8 years ago
- ☆38Updated 6 years ago
- Bindings to the various POSIX APIs☆27Updated 5 months ago
- An OCaml library for describing Protobuf messages☆30Updated 4 years ago
- Membership protocol for Mirage unikernel clusters based on SWIM☆18Updated 9 years ago
- A tool that creates stand-alone source bundles from opam packages☆26Updated 2 years ago
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Updated 7 months ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆45Updated 5 years ago
- Implementation of SMTP protocols in OCaml☆46Updated this week