Block or report user

Report or block gstew5

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. snarkl

    Haskell 39 1

  2. cs4100-public

    Public resources for OU CS4100 Compilers

    OCaml 5 1

  3. cage

    Coq 3

  4. games

    Coq 2



  6. yoneda


690 contributions in the last year

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

Contribution activity

August 2018

42 contributions in private repositories Aug 7 – Aug 16

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