Block or report user

Organizations

@uwplse @codespecs @typetools @randoop

Popular repositories

  1. plume-lib

    A library of useful abstractions for programming

    Emacs Lisp 6 13

  2. ductilej

    A Java compiler plugin that turns Java into a mostly dynamically typed language

    Java 3

  3. uwisdom

    A collection of useful facts

    1

  4. ag.el

    Forked from Wilfred/ag.el

    An Emacs frontend to ag, ("the silver searcher" ack replacment)

    Emacs Lisp 1

  5. bibtex2web

    Format BibTeX bibliographies for the World Wide Web

    Perl 1

  6. plume-bib

    BibTeX bibliographies

    TeX 2

3,830 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

February 2017

Created a pull request in typetools/checker-framework that received 10 comments

Index annotated JDK

Created an issue in kelloggm/checker-framework that received 3 comments

Problem with pure methods?

The methods getArray3 and getArray4 in the below code don't type-check under the Index Checker. I would expect them to, given the JDK annotations, …

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