jobjo / popper
Property-based testing at ease
☆42Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for popper
- Tools for record-and-replay debugging☆42Updated last year
- OCaml with typed algebraic effects☆48Updated 6 years ago
- Yet another type combinator library☆54Updated 2 years ago
- Print OCaml values based on their runtime representation☆29Updated 2 years ago
- Show the internal dependencies in your OCaml/Reason/Dune project☆59Updated last year
- Trivial/Tagless Polytypic Functions☆23Updated 4 years ago
- multi-shot continuations in OCaml☆45Updated 2 weeks ago
- A Framework for building Batched Concurrent Services☆20Updated last month
- Graphs of the various type conversions provided by the OCaml standard library.☆33Updated 4 years ago
- Commodity thread pools and concurrency primitives for OCaml 5☆53Updated 3 weeks ago
- Generic Programming Library for OCaml☆33Updated 7 years ago
- A simple state-machine framework for OCaml based on QCheck☆65Updated 3 years ago
- Lock-free Sets and Maps for OCaml multicore☆31Updated 2 years ago
- Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically☆40Updated 5 years ago
- Asynchronous effect based IO☆32Updated 3 years ago
- PBT testsuite and libraries for testing multicore OCaml☆37Updated this week
- Functional Priority Search Queues for OCaml☆53Updated 7 months ago
- Self-adjusting computations☆22Updated last year
- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.☆56Updated 4 years ago
- Relational database programming for OCaml (unreleased)☆41Updated 2 weeks ago
- IO should be just a library☆23Updated last year
- Memory-efficient data structures in OCaml☆38Updated 2 years ago
- Pretty print an OCaml cmi/cmt/cmti file in human-readable OCaml signature form☆41Updated 2 years ago
- Notes and findings from our OCaml benchmarking adventures☆48Updated 2 years ago
- Matching Regular Expressions with OCaml Patterns☆56Updated last year
- Purely functional iterators compatible with standard `seq`.☆31Updated 11 months ago
- OCaml PPX extension for JSON literals and patterns☆42Updated 7 months ago
- Irmin-based Markdown Editor☆47Updated last year
- Less redundancy in type declarations and signatures☆89Updated 5 months ago
- A 'free monad' library for OCaml☆22Updated 10 years ago