whitequark / ocaml-m17n
Multilingualization for the OCaml source code
☆52Updated 5 years ago
Related projects: ⓘ
- Less redundancy in type declarations and signatures☆89Updated 4 months ago
- Multiparty Session Types in OCaml☆56Updated 2 weeks ago
- Ropes ("heavyweight strings") for OCaml☆49Updated last month
- Algorithms to layout trees in a pretty manner.☆37Updated 2 years ago
- Various signed and unsigned integer types for OCaml☆62Updated 11 months ago
- Choice operator in OCaml, providing a backtracking monad☆24Updated 2 years ago
- A practical LLVM backend for OCaml (will never be finished)☆33Updated 10 years ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆43Updated 4 years ago
- A simple state-machine framework for OCaml based on QCheck☆63Updated 2 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆35Updated last week
- Abstract engine for text edition in OCaml☆121Updated last year
- Code using GADT☆37Updated 3 years ago
- Delimited continuations in byte-code and native OCaml☆26Updated 3 years ago
- OCaml with typed algebraic effects☆48Updated 5 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 5 years ago
- A simple monadic parser combinator library for OCaml☆64Updated 2 years ago
- A 'free monad' library for OCaml☆22Updated 10 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆37Updated 2 years ago
- An implementation of binary session types in OCaml☆35Updated 5 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 4 years ago
- The future of ppx https://discuss.ocaml.org/t/the-future-of-ppx/☆53Updated 4 years ago
- Yet another type combinator library☆54Updated 2 years ago
- Extension to OCaml for deriving functions from type declarations.☆26Updated 3 years ago
- Difference list library for OCaml☆33Updated 4 years ago
- A benchmark suite for the OCaml compiler☆82Updated 3 weeks ago
- Various signed and unsigned integers for OCaml☆84Updated last year
- tired of typing afl-fuzz? try bun!☆50Updated last year
- Optional compilation for OCaml☆65Updated 3 weeks ago
- multi-shot continuations in OCaml☆46Updated 3 weeks ago
- Effectful OCaml with Objects and Variants☆29Updated last year