Contributors: Listing
Analyzed
1 day
ago.
based on code collected
3 days
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
wenzelm
|
|
1451 | 43130 |
|
OCaml | about 32 years ago | 5 days ago | ||
|
haftmann
|
|
138 | 7259 |
|
OCaml | over 20 years ago | 15 days ago | ||
|
blanchet
|
|
4 | 6970 |
|
OCaml | over 16 years ago | 7 months ago | ||
|
paulson
|
|
117 | 6188 |
|
OCaml | about 30 years ago | about 1 month ago | ||
|
nipkow
|
|
92 | 4047 |
|
OCaml | about 32 years ago | 19 days ago | ||
|
Gerwin Klein
|
|
220 | 2951 |
|
OCaml | over 13 years ago | 8 days ago | ||
|
seL4 CI
|
|
571 | 2901 |
|
XML | about 4 years ago | 6 days ago | ||
|
Kent McLeod
|
|
28 | 1508 |
|
C | over 9 years ago | 8 months ago | ||
|
desharna
|
|
163 | 822 |
|
OCaml | over 11 years ago | 11 days ago | ||
|
Rafal Kolanski
|
|
60 | 809 |
|
Haskell | over 13 years ago | about 2 months ago | ||
|
traytel
|
|
4 | 434 |
|
OCaml | almost 15 years ago | 9 months ago | ||
|
Fabian Huch
|
|
97 | 412 |
|
Scala | over 4 years ago | about 1 month ago | ||
|
Corey Lewis
|
|
41 | 308 |
|
Haskell | over 11 years ago | 3 months ago | ||
|
Michael McInerney
|
|
24 | 163 |
|
C | over 6 years ago | 4 months ago | ||
|
Manuel Eberl
|
|
19 | 107 |
|
OCaml | about 12 years ago | 5 months ago | ||
|
Ryan Barry
|
|
21 | 106 |
|
C | over 4 years ago | 6 months ago | ||
|
Indan Zupancic
|
|
44 | 103 |
|
C | over 4 years ago | about 2 months ago | ||
|
Peter Chubb
|
|
3 | 73 |
|
C | about 11 years ago | 8 months ago | ||
|
julia
|
|
56 | 56 |
|
CMake | 11 months ago | 2 days ago | ||
|
Ivan-Velickovic
|
|
18 | 38 |
|
C | about 3 years ago | 5 months ago | ||