Block or report user
  • Unaccompanied
  • Bend, OR
  • Joined on May 2, 2008

Popular repositories

  1. sbt-extras

    A more featureful runner for sbt, the simple/scala/standard build tool

    Shell 584 155

  2. policy

    a fork of the scala compiler

    Scala 450 12

  3. psp-std

    psp's non-standard standard library (for scala)

    Scala 248 19

  4. psply

    pattern rewriter for scala

    Scala 19

  5. pspz3

    scala bindings for z3

    Java 15 1

  6. psp-libsbt

    sbt plugin to make sbt more usable

    Scala 13 1

855 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

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