Why3— Apr 2011 to Present
142 commits
Coq proof assistant— Sep 2009 to Present
32 commits
Gappa— Jul 2004 to Present
1620 commits
Why— Feb 2009 to Apr 2011
98 commits
Battle for Wesnoth— Aug 2004 to Feb 2011
2135 commits
Mesa— Jul 2008 to Dec 2008
13 commits
Debian GNU/Linux— Jul 2008 to Dec 2008
40 commits
Boost C++ Libraries— Jul 2002 to Aug 2008
82 commits
The Mana Project— May 2006 to Nov 2007
324 commits
The Mana World— Aug 2006 to Nov 2007
155 commits
Aethyra— Sep 2007 to Nov 2007
4 commits
About Me
Location
Orsay, France
