Block or report user

Pinned repositories

  1. uwdb/Cosette

    Cosette is an automated SQL solver powered by Coq/Lean and Rosette.

    Lean 419 36

  2. cillo

    cillo.

    CSS 2

  3. kevin

    AI TO THE MAX

    Python 1

  4. clustr

    Crowd sourced location heat map

    Scala

74 contributions 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

May 2018

2 contributions in private repositories May 12 – May 21

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