Languages
Analyzed
about 5 hours
ago
| Language | Aggregate Coding Time |
Total Commits |
Total Lines Changed |
Most Commits: | Most Recent Commit: | |||||
|---|---|---|---|---|---|---|---|---|---|---|
| Project | Commits | Project | Commit Month | |||||||
| over 2 years | 846 | 412,290 |
O ocaml-experim... |
697 |
OCaml
|
Jun 2018 | ||||
| about 1 year | 490 | 11,091 |
O ocaml-experim... |
420 |
Coq proof ass...
|
Dec 2014 | ||||
| 5 months | 110 | 17,760 |
O ocaml-experim... |
91 |
O OCamlJIT2 |
Oct 2011 | ||||
| 3 months | 40 | 21,712 |
O ocaml-experim... |
35 |
O OCamlJIT2 |
Jun 2010 | ||||
| 4 months | 33 | 180 |
O ocaml-experim... |
28 |
Coq proof ass...
|
Aug 2014 | ||||
| 9 months | 27 | 10,207 |
Coq proof ass...
|
27 |
Coq proof ass...
|
Jan 2015 | ||||
| about 1 month | 16 | 144 |
O ocaml-experim... |
14 |
O OCamlJIT2 |
Apr 2010 | ||||
| 2 months | 16 | 14,336 |
O ocaml-experim... |
14 |
O OCamlJIT2 |
May 2010 | ||||
| about 1 month | 16 | 176 |
O ocaml-experim... |
14 |
O OCamlJIT2 |
Feb 2011 | ||||
| about 1 month | 8 | 1,760 |
O ocaml-experim... |
7 |
O OCamlJIT2 |
Jun 2010 | ||||
| about 1 month | 8 | 48 |
O ocaml-experim... |
7 |
O OCamlJIT2 |
Jan 2011 | ||||
| about 1 month | 8 | 336 |
O ocaml-experim... |
7 |
O OCamlJIT2 |
Jan 2010 | ||||
| about 1 month | 1 | 320 |
Coq proof ass...
|
1 |
Coq proof ass...
|
Dec 2013 | ||||