Jack Feser

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

odoc2docset. Create Dash docsets from Odoc generated documentation.

bitarray. Fast vectorized bitarrays for OCaml

castor. Deductive synthesis and compilation of specialized databases.

combinat. Fast combinatorics functions for OCaml.

earley. An Earley algorithm implementation which uses task parallelism.

loopfinder. Extract looping GIFs from longer videos using locality-sensitive hashing.

symetric. OCaml

ocaml-cmph. Ocaml bindings for C Minimal Perfect Hashing Library (CMPH)

tpch-dbgen. TPC-H and scripts for PostgreSQL

Noisy. White Noisy Generator for OS X

sketch-mode. Emacs mode for the Sketch synthesizer language

sshpass. C

dreamcoder. Python