Block or report user

Pinned repositories

  1. L2

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

    OCaml 1 2

  2. timeout

    A tool for running programs with time & memory limits.


328 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

December 2016

18 contributions in private repositories Dec 1 – Dec 7

Seeing something unexpected? Take a look at the GitHub profile guide.