Pinned

1. ocaml-containers

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

   OCaml 380 68

2. qcheck

   QuickCheck inspired property-based testing for OCaml.

   OCaml 226 23

3. iter

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

   OCaml 74 5

4. sneeuwballen/zipperposition

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

   OCaml 71 8

5. oseq

   Purely functional iterators compatible with standard `seq`.

   OCaml 27 5

6. tiny_httpd

   Minimal HTTP server using good old threads + blocking IO, with small request router.

   OCaml 43 1