Contributors: Listing
Analyzed
1 day
ago.
based on code collected
2 days
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
Timothy Bourke
|
|
3 |
|
almost 6 years ago | almost 6 years ago | ||||
|
jouvelot
|
|
2 | 3 |
|
coq | about 2 years ago | 10 months ago | ||
|
Vadim Zaliva
|
|
3 |
|
OCaml | over 7 years ago | over 6 years ago | |||
|
beta
|
|
3 |
|
OCaml | over 5 years ago | over 3 years ago | |||
|
Matej Košík
|
|
3 |
|
OCaml | about 6 years ago | about 6 years ago | |||
|
Virgile Prevosto
|
|
3 |
|
OCaml | over 10 years ago | over 10 years ago | |||
Thomas Letan
( Contributor )
|
|
3 |
|
coq | almost 5 years ago | almost 4 years ago | |||
|
slrnsc
|
|
3 |
|
OCaml | over 3 years ago | over 3 years ago | |||
|
Bernhard Schommer
|
|
2 | 3 |
|
OCaml | over 6 years ago | 4 months ago | ||
|
Julien Puydt
|
|
3 | 3 |
|
OCaml | 7 months ago | 3 months ago | ||
|
Romain Tetley
|
|
3 | 3 |
|
OCaml | 4 months ago | 3 months ago | ||
|
e kuefner
|
|
3 |
|
TeX/LaTeX | over 2 years ago | over 2 years ago | |||
|
Jacques-Pascal Deplaix
|
|
3 |
|
OCaml | over 6 years ago | over 6 years ago | |||
|
Ralf Treinen
|
|
3 |
|
shell script | over 4 years ago | over 4 years ago | |||
|
Pierre-Yves Strub
|
|
3 |
|
over 7 years ago | over 7 years ago | ||||
|
Daniel R. Grayson
|
|
3 |
|
OCaml | over 9 years ago | almost 6 years ago | |||
|
Edward Wang
|
|
3 |
|
coq | about 4 years ago | almost 4 years ago | |||
|
ilya
|
|
3 |
|
coq | about 4 years ago | about 4 years ago | |||
|
Daniel de Rauglaudre
|
|
3 |
|
OCaml | over 8 years ago | over 4 years ago | |||
|
Laurent Th��ry
|
|
2 |
|
TeX/LaTeX | over 6 years ago | almost 6 years ago | |||