Block or report user

Pinned repositories

  1. javaui

    A Java compiler plugin to prevent invalid thread accesses when writing GUIs.

    Java 2 1

  2. rghaskell

    Porting a variant of rely-guarantee references to Liquid Haskell

    Haskell 3 2

  3. guarded-recursion

    Playing with guarded recursion in Coq and Agda


  4. rgref

    Prototype Implementation of Rely-Guarantee References as a Coq DSL


  5. rgref-concurrent

    Concurrency fork of rely-guarantee references


  6. SJS

    Forked from Samsung/SJS

    SJS is a static ahead of time compiler for a subset of JavaScript


424 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

November 2017

42 contributions in private repositories Nov 1 – Nov 22

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