Higher-kinded programming in OCaml
☆195Jan 12, 2026Updated 9 months ago
Alternatives and similar repositories for higher
Users that are interested in higher are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Oct 13, 2020Updated 6 years ago
- Reflect the essence of OCaml types as values☆15Sep 3, 2026Updated last month
- Yet another type combinator library☆56Mar 10, 2022Updated 4 years ago
- Content-addressed identifiers in OCaml☆16Mar 23, 2023Updated 3 years ago
- macOS bindings to the FSEvents API☆18Aug 13, 2026Updated 2 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Effectful OCaml with Objects and Variants☆29Feb 3, 2023Updated 3 years ago
- OCaml extended with modular implicits☆109Oct 19, 2018Updated 8 years ago
- ☆31Nov 26, 2025Updated 11 months ago
- OCaml Format pretty-printer combinators☆77Feb 13, 2026Updated 8 months ago
- Monad-based linear types in OCaml, with a few syntax extensions☆39Oct 21, 2019Updated 7 years ago
- Type-driven code generation for OCaml☆522Sep 13, 2026Updated last month
- Irmin website☆12Feb 26, 2026Updated 8 months ago
- A high-performance server for Irmin☆24Oct 1, 2022Updated 4 years ago
- NanoID implementation for OCaml.☆21Mar 30, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- OCaml with macros☆67Oct 8, 2026Updated 3 weeks ago
- Choice operator in OCaml, providing a backtracking monad☆26Jan 26, 2022Updated 4 years ago
- Generic Programming Library for OCaml☆34Mar 29, 2017Updated 9 years ago
- Less redundancy in type declarations and signatures☆92Sep 25, 2026Updated last month
- OCaml PPX extension for JSON literals and patterns☆45Mar 11, 2024Updated 2 years ago
- A library with an encoding of higher kinded types in OCaml☆45Jul 10, 2026Updated 3 months ago
- Code for "Staged Generic Programming" (ICFP 2017)☆28Sep 2, 2023Updated 3 years ago
- A pretty-printing combinator library for OCaml☆49Aug 7, 2024Updated 2 years ago
- OpenSSL bindings to OCaml EIO☆20Jul 25, 2026Updated 3 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- MetaML and MetaOCaml bibliography☆106Aug 29, 2026Updated 2 months ago
- Ropes ("heavyweight strings") for OCaml☆48Jul 27, 2024Updated 2 years ago
- Reagents for multicore OCaml☆127May 18, 2023Updated 3 years ago
- HTTP/1.1 server and client for ocaml (using Async)☆23Apr 26, 2025Updated last year
- Streamlining the release of dune packages to opam☆121Updated this week
- Cpu topology and affinity for ocaml-multicore☆51Sep 4, 2025Updated last year
- thread-local storage for OCaml☆17Jan 13, 2025Updated last year
- An Awesome OCaml splashscreen☆10Apr 1, 2022Updated 4 years ago
- A "implementation" of Girard's paradox in OCaml☆113Apr 7, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Trivial Metaprogramming tool using the OCaml toplevel☆54Jul 29, 2026Updated 3 months ago
- Type-level rational puzzles in OCaml☆25Jun 8, 2016Updated 10 years ago
- Runtime types for OCaml (beta version)☆27Jul 10, 2026Updated 3 months ago
- OCaml binding to LXC with idiomatic (and opionated) OCaml API design☆13Oct 25, 2019Updated 7 years ago
- [alpha] lightweight fiber library for OCaml 5☆16Jul 29, 2026Updated 3 months ago
- Lower-Kinded Optics for OCaml☆27Mar 16, 2025Updated last year
- Live-reloading server for static sites (eventually also dynamic)☆49May 25, 2023Updated 3 years ago