Pinned

1. ocaml-containers

   A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

   OCaml 318 60

2. qcheck

   QuickCheck inspired property-based testing for OCaml.

   OCaml 167 20

3. iter

   Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.

   OCaml 64 4

4. sneeuwballen/zipperposition

   An automatic theorem prover in OCaml for typed higher-order logic with equality, datatypes and arithmetic, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, …

   OCaml 39 6

5. gen

   Simple, efficient iterators for OCaml

   OCaml 40 6

6. oseq

   Purely functional iterators compatible with standard `seq`.

   OCaml 23 4