Pinned

1. castor Public

   Deductive synthesis and compilation of specialized databases.

   OCaml 11 1

2. L2 Public

   λ² is a tool for synthesizing functional programs from input-output examples.

   OCaml 58 7

3. mitdbg/imputedb Public

   A database with automatic dynamic imputation of missing values.

   Java 10 4

4. earley Public

   An Earley algorithm implementation which uses task parallelism.

   C++ 5 1

5. odoc2docset Public

   Create Dash docsets from Odoc generated documentation.

   OCaml 21 2

6. combinat Public

   Fast combinatorics functions for OCaml.

   OCaml 6