smimram / funk
Functional kernel written in OCaml.
☆32Updated 11 years ago
Alternatives and similar repositories for funk:
Users that are interested in funk are comparing it to the libraries listed below
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆52Updated last month
- Relational programming for OCaml (unreleased)☆25Updated 2 years ago
- ☆38Updated 5 years ago
- a distributed computing library for OCaml☆24Updated 11 months ago
- Software construction and deployment kit☆33Updated last week
- An eDSL for MirageOS apps☆19Updated 6 years ago
- Yet another type combinator library☆54Updated 2 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆34Updated last month
- Dissect OCaml compiled programs, and weight their content☆24Updated 2 years ago
- OCaml library to work with DWARF format☆33Updated 4 months ago
- Embed typed ASN.1 grammars in OCaml☆36Updated last month
- OCaml parser for RFC 3164 Syslog messages☆24Updated last year
- Bigstring intrinsics and fast blits based on memcpy/memmove☆37Updated 6 months ago
- Implementation of several spatial indexes (R-tree, etc.)☆18Updated last year
- A simple tool and library to embed files and directories inside an OCaml executables☆21Updated 2 years ago
- Inspection of internal value representations and the object graph☆33Updated 8 years ago
- Building Lua interpreters with lot's of functors☆13Updated 6 years ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆55Updated 2 months ago
- A simple implementation of Discrete Interval Encoding Trees☆28Updated 2 years ago
- Pure OCaml implementation of the "vchan" shared-memory communication protocol☆45Updated 8 months ago
- A B-Tree implementation in OCaml☆23Updated 8 years ago
- Pure OCaml library to read and write tar files☆56Updated this week
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 8 years ago
- Bindings to the various POSIX APIs☆27Updated this week
- Parsing library based on Earley Algorithm☆18Updated 3 years ago
- ☆18Updated 8 years ago
- Choice operator in OCaml, providing a backtracking monad☆25Updated 2 years ago
- A b-tree implementation for Mirage BLOCK devices☆15Updated 8 years ago
- Bencode (.torrent file format) reader/writer in OCaml☆24Updated 8 months ago
- A small OCaml library to randomly generate values☆29Updated 2 years ago