Username:
wdi...@gmail.com
Starred developers:
michael.ernst@gmail.com
| Projects |
|---|
| Role | Project | Summary |
|---|---|---|
| Owner | annotation-tools | Tools for Type Annotations in Java |
| Owner | checker-framework | Pluggable types for Java |
| Owner | checker-framework-inference | Inference of pluggable types for Java |
| Owner | daikon | Dynamic detection of likely invariants |
| Owner | javarifier | Reference Immutability Inference Tool for Javari |
| Owner | jsr308-langtools | Compiler that supports Java's Type Annotations (JSR 308) |
| Owner | plume-lib | A library of useful abstractions for programming |
| Starred by wdi...@gmail.com |
|---|
| Type | Name | Summary |
|---|---|---|
| Project | plume-bib | BibTeX bibliographies |
| Project | uwisdom | Collection of useful facts |
| Project | bibtex2web | Format BibTeX bibliographies for the World Wide Web |
| Project | ductilej | A Java compiler plugin that turns Java into a mostly dynamically typed language. |
| Project | scalaforandroid | Scala for Android |