Block or report user

Popular repositories

  1. extensible-effects

    Extensible Effects: An Alternative to Monad Transformers

    Haskell 106 22

  2. ProPL-meetup

    Github repository associated with Toronto Probabilistic Programming meetup

    Jupyter Notebook 15 9

  3. TTFI

    typed tagless final interpreters

    Scala 12 2

  4. differential-privacy

    Github repository associated with Differential Privacy meetup

    10 4

  5. scalable-effects

    scala port of extensible-effects (WIP)

    Scala 7

  6. proofgeneral

    Proof General theorem prover interface

    Emacs Lisp 3

174 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

March 2018

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