Contributions
plume-lib 30 commits Jun 2010 to Present
Type Annotations OpenJDK project 468 commits Mar 2012 to Present
Checker Framework 2010 commits Feb 2010 to Present
jsr308-langtools 753 commits Jun 2011 to Present
Daikon 51 commits Jan 2011 to Present
Javarifier 9 commits Jun 2010 to Mar 2012
Java Modeling Language (JML) 35 commits Jun 2004 to Mar 2010
MultiJava 85 commits Mar 2004 to Dec 2008
Location
Seattle, WA, USA
Kudos
Copyright
©
2013
Black Duck Software, Inc.
and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a
Creative Commons Attribution 3.0 Unported License
. Ohloh
®
and the Ohloh logo are trademarks of
Black Duck Software, Inc.
in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.