ocamllabs / ocaml-modular-implicitsLinks
OCaml extended with modular implicits
☆104Updated 6 years ago
Alternatives and similar repositories for ocaml-modular-implicits
Users that are interested in ocaml-modular-implicits are comparing it to the libraries listed below
Sorting:
- Higher-kinded programming in OCaml☆183Updated last year
- Staged metaprogramming in stock OCaml☆152Updated last year
- Monadic let-bindings☆120Updated last month
- Tools for authors of ppx rewriters☆134Updated 2 years ago
- Declarative events and signals for OCaml☆143Updated last year
- Nice parsers in OCaml without the boilerplate☆126Updated last year
- Easy OCaml bindings for Javascript libraries☆179Updated last month
- OCaml with macros☆58Updated last month
- A benchmark suite for the OCaml compiler☆83Updated 11 months ago
- A simple monadic parser combinator library for OCaml☆67Updated 3 years ago
- Abstract engine for text edition in OCaml☆123Updated last month
- Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.☆123Updated 6 months ago
- Functional programming library for OCaml☆60Updated 5 years ago
- OCaml interpreter☆102Updated 5 years ago
- Syntax extension for writing in-line tests in ocaml code☆136Updated last month
- C-style preprocessor for OCaml☆109Updated 3 weeks ago
- Less redundancy in type declarations and signatures☆91Updated 8 months ago
- Error-recovering streaming HTML5 and XML parsers☆149Updated 10 months ago
- A library that makes it nicer to work with nested functional data structures☆60Updated last month
- DEPRECATED. See https://ocaml.org/changelog/2023-10-23-omp-deprecation. Convert OCaml parsetrees between different major versions☆86Updated last year
- A "implementation" of Girard's paradox in OCaml☆109Updated 10 years ago
- Design discussions about the OCaml language☆165Updated 5 months ago
- Private extraction of astrada's lens library☆57Updated 4 years ago
- Fast, safe and composable streaming abstractions.☆116Updated 8 months ago
- Generation of S-expression conversion functions from type definitions☆91Updated last month
- Various signed and unsigned integers for OCaml☆84Updated 2 years ago
- A modular sat/smt solver with proof output.☆101Updated last year
- A Simple Profiling Library for OCaml☆134Updated 6 months ago
- Streamlining the release of dune packages to opam☆118Updated this week
- Meta-preprocessor for OCaml☆77Updated last year