Contributions
Why3 275 commits Apr 2011 to Present
Battle for WesnothUnknown Dates
Debian GNU/LinuxUnknown Dates
The Mana WorldUnknown Dates
Flocq 401 commits Jan 2009 to Present
Interval Package for Coq 96 commits Oct 2007 to Present
Why 99 commits Feb 2009 to Present
Coq proof assistant 39 commits Sep 2009 to Present
Gappa 1688 commits Jul 2004 to Present
Mesa 13 commits Jul 2008 to Dec 2008
Boost C++ Libraries 82 commits Jul 2002 to Aug 2008
The Mana Project 324 commits May 2006 to Nov 2007
Aethyra 4 commits Sep 2007 to Nov 2007
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.