Pinned Loading

1. ocaml-containers ocaml-containers Public

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

   OCaml 505 89

2. qcheck qcheck Public

   QuickCheck inspired property-based testing for OCaml.

   OCaml 377 44

3. moonpool moonpool Public

   Commodity thread pools and concurrency primitives for OCaml 5

   OCaml 61 4

4. sneeuwballen/zipperposition sneeuwballen/zipperposition Public

   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 147 18

5. iter iter Public

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

   OCaml 123 12

6. tiny_httpd tiny_httpd Public

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

   OCaml 80 12