A library with an encoding of higher kinded types in OCaml
☆43Jan 15, 2026Updated last month
Alternatives and similar repositories for higher_kinded
Users that are interested in higher_kinded are comparing it to the libraries listed below
Sorting:
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Oct 13, 2020Updated 5 years ago
- ML's radishal Universal Levenshtein Automata library.☆13Jan 5, 2022Updated 4 years ago
- Fast vectorized bitarrays for OCaml☆16Jul 11, 2023Updated 2 years ago
- Performance Application Programming Interface for OCaml☆15Oct 25, 2022Updated 3 years ago
- Trivial/Tagless Polytypic Functions☆23Apr 14, 2020Updated 5 years ago
- ☆12Mar 15, 2021Updated 4 years ago
- HTTP combinators for MirageOS☆11Oct 11, 2019Updated 6 years ago
- RISC-V OCaml cross compiler☆14Feb 25, 2019Updated 7 years ago
- Static site generator☆12Apr 6, 2025Updated 10 months ago
- Content-addressed identifiers in OCaml☆16Mar 23, 2023Updated 2 years ago
- Example OCaml library written using Rust and ocaml-rs☆16Mar 10, 2021Updated 4 years ago
- A pipeline that deploys unikernels and other services☆23Jul 25, 2025Updated 7 months ago
- A hardcaml library to interface with arty boards☆19Feb 8, 2023Updated 3 years ago
- Simple, in-memory, monomorphic and heterogeneous search indexes in OCaml☆25Jan 11, 2023Updated 3 years ago
- LINQ-like combinators for manipulating collections of in-memory data☆16Sep 21, 2020Updated 5 years ago
- Ocaml bindings for the zxcvbn password strength estimation library☆19Nov 13, 2020Updated 5 years ago
- Convert Markdown and YAML Data to OCaml Modules☆17Apr 26, 2023Updated 2 years ago
- A dynamic way to instantiate an OCaml flow☆17Feb 26, 2026Updated last week
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated last year
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Nov 26, 2016Updated 9 years ago
- Library to provide a fast integer (x64 arch) or allocated int32 (x84 arch)☆24Mar 11, 2025Updated 11 months ago
- Implementation of SMTP protocols in OCaml☆46Feb 26, 2026Updated last week
- a mirage kernel using esy☆18Jan 20, 2021Updated 5 years ago
- OpenSSL bindings to OCaml EIO☆20Jun 25, 2024Updated last year
- Portable implementation of the Irmin Watch API☆14Feb 10, 2026Updated 3 weeks ago
- Active HTML elements for dynamic webpages (unreleased)☆27Jul 29, 2025Updated 7 months ago
- A simple implementation of Discrete Interval Encoding Trees☆28Apr 16, 2022Updated 3 years ago
- Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of…☆11Sep 7, 2013Updated 12 years ago
- DKIM support on e-mail☆11Feb 5, 2026Updated last month
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- OCaml bindings for the Integer Set Library.☆13Jun 12, 2014Updated 11 years ago
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- Modal editing witch, VI interpreter☆11May 29, 2020Updated 5 years ago
- Live-reloading server for static sites (eventually also dynamic)☆49May 25, 2023Updated 2 years ago
- Library for tokenizing code with TextMate grammars☆12Jan 4, 2024Updated 2 years ago
- A library that implements the websocket protocol on top of Async☆14Jan 15, 2026Updated last month
- A toy implementation of the bitcoin protocol in ocaml.☆35Dec 15, 2015Updated 10 years ago
- OCaml implementation of the T-Digest algorithm☆26May 19, 2025Updated 9 months ago
- Fast msgpack library for OCaml☆26Jun 8, 2021Updated 4 years ago