jmid / qcstm
A simple state-machine framework for OCaml based on QCheck
☆65Updated 3 years ago
Alternatives and similar repositories for qcstm:
Users that are interested in qcstm are comparing it to the libraries listed below
- Yet another type combinator library☆54Updated 2 years ago
- Declarative events and signals for OCaml☆48Updated 10 months ago
- Print OCaml values based on their runtime representation☆29Updated 2 years ago
- Less redundancy in type declarations and signatures☆89Updated 2 months ago
- OCaml with typed algebraic effects☆49Updated 6 years ago
- Notes and findings from our OCaml benchmarking adventures☆48Updated 2 years ago
- Pretty printing library☆55Updated 2 months ago
- LexiFi runtime types☆32Updated 4 years ago
- Functional Priority Search Queues for OCaml☆53Updated 10 months ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆38Updated 6 months ago
- ☆49Updated 3 years ago
- Persistent vectors for OCaml☆41Updated 6 years ago
- Optional compilation for OCaml☆63Updated 2 months ago
- Tools for record-and-replay debugging☆43Updated last year
- The future of ppx https://discuss.ocaml.org/t/the-future-of-ppx/☆53Updated 4 years ago
- OCaml PPX deriver for reflection☆51Updated 2 years ago
- PPX rewriter that enables string interpolation in OCaml☆44Updated last year
- Irmin-based Markdown Editor☆46Updated 2 years ago
- ☆48Updated 5 months ago
- Functional Monadic Library for Ocaml☆48Updated 2 months ago
- Universally unique identifiers (UUIDs) for OCaml☆43Updated 4 months ago
- Property-based testing at ease☆42Updated 3 years ago
- Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collap…☆27Updated 3 weeks ago
- Simple, efficient iterators for OCaml☆59Updated last year
- Commodity thread pools and concurrency primitives for OCaml 5☆55Updated last month
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated last week
- ☆25Updated 2 years ago
- Algorithms to layout trees in a pretty manner.☆36Updated 2 years ago
- Scalable LRU caches for OCaml☆42Updated 2 years ago
- Ensure dune and opam dependencies are consistent☆42Updated last month