Block or report user

Popular repositories

  1. SIGPLAN-Most-Influential-POPL-Papers

    Python 5 1

  2. yst

    Forked from jgm/yst

    create static websites from YAML data and string templates

    Haskell 1

  3. MetaprogAgda

    Forked from pigworker/MetaprogAgda

    being the materials for Summer 2013's course


1 contribution in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

January - May 2017

ohad has no activity yet for this period.

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