tel / ocaml-transducersLinks
Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.
☆16Updated 10 years ago
Alternatives and similar repositories for ocaml-transducers
Users that are interested in ocaml-transducers are comparing it to the libraries listed below
Sorting:
- A Datalog implementation with an OCaml inspired module system☆42Updated 7 years ago
- An MVC library for writing interactive webpages in OCaml☆35Updated 11 years ago
- OCaml backend for Agda☆39Updated 7 years ago
- Work on modular implicits☆25Updated 7 years ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆17Updated 10 years ago
- Type-level rational puzzles in OCaml☆25Updated 9 years ago
- OCaml API search engine☆24Updated 9 years ago
- OCaml@p : OCamlにおけるデバッグ出力機構 / A debugging printer for OCaml☆10Updated 8 years ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆45Updated 6 years ago
- CRDTs - Conflict-Free Replicated Data Types for OCaml☆47Updated 9 years ago
- The core OCaml system: compilers, runtime system, base libraries☆22Updated this week
- Ropes ("heavyweight strings") for OCaml☆48Updated last year
- A tail-recursive list map with good performance for all list sizes. Not actually written in assembly.☆13Updated 4 years ago
- An eDSL for MirageOS apps☆20Updated 7 years ago
- A collection of tools to manage the configuration of OCaml projects☆53Updated 10 years ago
- Relational programming for OCaml (unreleased)☆24Updated 3 years ago
- Choice operator in OCaml, providing a backtracking monad☆26Updated 4 years ago
- Unsigned ints for OCaml☆24Updated 6 years ago
- ☆26Updated 13 years ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 6 months ago
- Red-Black Trees for OCaml.☆24Updated 9 years ago
- Code for "Staged Generic Programming" (ICFP 2017)☆28Updated 2 years ago
- Collect profiling information☆18Updated 2 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 9 years ago
- Sandboxed build environment for opam projects☆13Updated 9 years ago
- Canopy blog data that powers ICFP liveblog☆16Updated 9 years ago
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 9 years ago
- Building Lua interpreters with lot's of functors☆13Updated 7 years ago
- ☆38Updated 6 years ago
- Signatures of the category theoretic style; a experiment in flattery☆25Updated 10 years ago