Skip to content


  • Arctic Code Vault Contributor

Popular repositories

  1. Formal Reasoning About Programs

    Coq 453 57

  2. Web application for course on Formal Reasoning About Programs

    UrWeb 12 1

  3. UPO extensions for MIT

    UrWeb 3

  4. Code for lecture 8

    Java 2 1

  5. Code for lecture 7

    Java 1 1

  6. OpenShift w/ Postgres test

    JavaScript 1

390 contributions in the last year

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

Contribution activity

January 2021

Created an issue in clowdr-app/clowdr that received 1 comment

Bad error message when not logged in

At POPL 2021, when I try to navigate directly to the "Rooms" page when not logged in, the error message about trouble loading data is quite opaque.…

1 comment
Opened 1 other issue in 1 repository
1 open

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