Contributors: Listing
Analyzed
25 days
ago.
based on code collected
25 days
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
Daniel R. Grayson
|
|
3 |
|
OCaml | about 10 years ago | over 6 years ago | |||
|
Lionel Rieg
|
|
3 |
|
OCaml | over 9 years ago | over 8 years ago | |||
Thomas Letan
( Contributor )
|
|
3 |
|
coq | over 5 years ago | over 4 years ago | |||
|
ilya
|
|
3 |
|
coq | almost 5 years ago | almost 5 years ago | |||
|
Georges Gonthier
|
|
2 |
|
coq | almost 6 years ago | almost 6 years ago | |||
|
Leonidas Lampropoulos
|
|
2 |
|
shell script | over 6 years ago | over 6 years ago | |||
|
Martin Vassor
|
|
2 |
|
about 7 years ago | about 7 years ago | ||||
|
Kayla Ngan
|
|
2 |
|
about 6 years ago | about 6 years ago | ||||
|
Jean Abou Samra
|
|
2 | 2 |
|
4 months ago | 4 months ago | |||
|
Takafumi Saikawa
|
|
2 |
|
OCaml | over 3 years ago | over 3 years ago | |||
|
Julin S
|
|
2 |
|
over 2 years ago | about 2 years ago | ||||
|
Th��o Winterhalter
|
|
2 |
|
over 6 years ago | over 6 years ago | ||||
|
chluebi
|
|
2 | 2 |
|
9 months ago | 9 months ago | |||
|
CJ Bell
|
|
2 |
|
OCaml | over 8 years ago | over 8 years ago | |||
|
Claude Stolze
|
|
2 |
|
OCaml | over 5 years ago | over 5 years ago | |||
|
Armael
|
|
2 |
|
almost 7 years ago | almost 7 years ago | ||||
|
Ana
|
|
2 |
|
coq | about 4 years ago | almost 4 years ago | |||
|
Bart Jacobs
|
|
2 |
|
OCaml | over 3 years ago | over 3 years ago | |||
|
Emilio Jes��s Galleg...
|
|
2 |
|
OCaml | about 8 years ago | over 7 years ago | |||
|
ddr
|
|
2 |
|
OCaml | about 23 years ago | over 22 years ago | |||