Pinned Loading

1. castor castor Public

   Deductive synthesis and compilation of specialized databases.

   OCaml 12 1

2. L2 L2 Public

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

   OCaml 65 7

3. mitdbg/imputedb mitdbg/imputedb Public

   A database with automatic dynamic imputation of missing values.

   Java 10 4

4. odoc2docset odoc2docset Public

   Create Dash docsets from Odoc generated documentation.

   OCaml 22 3

5. combinat combinat Public

   Fast combinatorics functions for OCaml.

   OCaml 7

6. bitarray bitarray Public

   Fast vectorized bitarrays for OCaml

   OCaml 15