Contributors: Listing
Analyzed
1 day
ago.
based on code collected
1 day
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
Andres Erbsen
|
|
2 | 2 |
|
coq | 6 months ago | 3 months ago | ||
|
lrg
|
|
2 |
|
TeX/LaTeX | almost 19 years ago | almost 19 years ago | |||
|
letouzey
|
|
2 |
|
coq | over 19 years ago | about 8 years ago | |||
|
Basile Pesin
|
|
2 |
|
coq | about 4 years ago | over 2 years ago | |||
|
Pierre Roux
|
|
2 | 2 |
|
coq | 10 months ago | 6 months ago | ||
|
Gergö Barany
|
|
2 |
|
coq | almost 8 years ago | almost 8 years ago | |||
|
Christoph Cullmann
|
|
2 |
|
OCaml | almost 5 years ago | almost 5 years ago | |||
|
Frédéric Besson
|
|
2 |
|
coq | about 7 years ago | over 5 years ago | |||
|
Xavier Leroy GALLIUM
|
|
1 |
|
OCaml | over 10 years ago | over 10 years ago | |||
|
Xuyang Li
|
|
1 |
|
coq | over 2 years ago | over 2 years ago | |||
|
Jérémie Koenig
|
|
1 |
|
coq | over 7 years ago | over 7 years ago | |||
|
Markus Pister
|
|
1 |
|
about 8 years ago | about 8 years ago | ||||
|
tristan
|
|
1 |
|
Make | almost 19 years ago | almost 19 years ago | |||
|
Bart Jacobs
|
|
1 |
|
coq | about 6 years ago | about 6 years ago | |||
|
Sigurd Schneider
|
|
1 |
|
coq | about 8 years ago | about 8 years ago | |||
|
Josué Moreau
|
|
1 |
|
coq | over 1 year ago | over 1 year ago | |||
|
Pierre Letouzey
|
|
1 |
|
coq | about 8 years ago | about 8 years ago | |||
|
Jerome Hugues
|
|
1 |
|
coq | about 3 years ago | about 3 years ago | |||
|
Lélio Brun
|
|
1 |
|
coq | about 9 years ago | about 9 years ago | |||
|
Amos Robinson
|
|
1 |
|
C | over 4 years ago | over 4 years ago | |||