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:
- Raspberry Pi boot support for the OCaml system (unreleased)☆57Updated 9 months ago
- 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 last year
- Pure OCaml library to read and write tar files☆56Updated 4 months ago
- Infrastructure to collect metrics from OCaml applications.☆45Updated last month
- Software construction and deployment kit☆33Updated this week
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Updated 3 months ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 7 months ago
- Yet another type combinator library☆54Updated 3 years ago
- Read and write FAT format filesystems from OCaml☆25Updated 2 months ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- OCaml library to work with DWARF format☆36Updated 5 months ago
- A platform-agnostic multi-level index☆33Updated 4 months ago
- Implementation of SMTP protocols in OCaml☆44Updated last month
- Building Lua interpreters with lot's of functors☆13Updated 7 years ago
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆54Updated 4 months ago
- Bindings to the various POSIX APIs☆27Updated last month
- a distributed computing library for OCaml☆24Updated last year
- Plan9 software ported to OCaml☆34Updated last week
- Choice operator in OCaml, providing a backtracking monad☆26Updated 3 years ago
- Functional Priority Search Queues for OCaml☆53Updated last year
- OCaml-TLS exposed to C☆23Updated 7 years ago
- Microsite for the MirageOS hack retreats☆13Updated 4 months ago
- A B-Tree implementation in OCaml☆23Updated 8 years ago
- An OCaml library for describing Protobuf messages☆30Updated 4 years ago
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 8 years ago
- Password based key derivation functions from PKCS#5, RFC 2898☆21Updated last year
- Medium weight threads - preemptive thread pools for Lwt☆31Updated 4 years ago
- ☆38Updated 5 years ago