Contributors : Stéphane Glondu
Analyzed 5 days
ago based on code collected 5 days ago.
Activity on Contributions of the coq proof assistant by Stéphane Glondu (see full profile for Stéphane Glondu)
All-time Commits:
48
12-Month Commits:
0
30-Day Commits:
0
Overall Kudo Rank:
First Commit:
17-Sep-2009
Last Commit:
02-Apr-2012
First Commit:
17-Sep-2009
Last Commit:
02-Apr-2012
Names in SCM:
Stephane Glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, glondu-guest, glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu, Stephane Glondu
Commit history:
Recent Kudos...
... for Contributions of the coq proof assistant given by:
There are no kudos for this contributor at this time.
Project Commits
Approximately one year of commit activity shown
Project Languages
| Language | Aggregate Coding Time | Total Commits | Total Lines Changed | Comment Ratio | |
|---|---|---|---|---|---|
| Objective Caml | 9m | 26 | 5,117 | 12.3% | |
| coq | 7m | 24 | 54,887 | 8.8% | |
| Make | 5m | 7 | 263 | 24.3% | |
| Emacs Lisp | 1m | 1 | 36 | - | |
| All Languages | 1y 0m | 48 | 60,303 | 9.2% |
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.