Block or report user



Pinned repositories

  1. strucjure

    A library for doing stuff to other stuff.

    Clojure 202 8

  2. springer-recommendations

    'People who downloaded this paper also downloaded...'

    Python 51 5

  3. imp

    Imp = Spreadsheets + Relations + Time

    Julia 59 2

  4. texsearch

    Texsearch is a search index specialised for LaTeX equations. Developed for

    OCaml 10

  5. core.logic

    Forked from clojure/core.logic

    core.logic with parallel solvers and user-defined search heuristics


  6. Eve

    Old fork of


629 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

January 2017

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