Users
Analyzed
about 12 hours
ago.
based on code collected
about 22 hours
ago.
Contributions
Contributes to Boost C++ Libraries as gmelquio
Contributes to Battle for Wesnoth
Contributes to Mesa
and 10 other projectsKudo Rank
Contributions
Contributes to Coq proof assistant as marche
Contributes to Why
Contributes to Why3
and 1 other projectsKudo Rank
Kudo Rank