Languages
Analyzed
about 18 hours
ago
| Language | Aggregate Coding Time |
Total Commits |
Total Lines Changed |
Most Commits: | Most Recent Commit: | |||||
|---|---|---|---|---|---|---|---|---|---|---|
| Project | Commits | Project | Commit Month | |||||||
| over 8 years | 596 | 103,866 |
Coq proof ass...
|
459 |
Why3
|
Oct 2024 | ||||
| almost 6 years | 259 | 3,759 |
Coq proof ass...
|
185 |
Why3
|
Oct 2024 | ||||
| over 3 years | 155 | 39,467 |
Coq proof ass...
|
139 |
Why3
|
Mar 2013 | ||||
| about 2 years | 98 | 28,024 |
Coq proof ass...
|
65 |
O OCaml library... |
Jan 2013 | ||||
| about 1 year | 65 | 24,136 |
Why3
|
65 |
Why3
|
Mar 2026 | ||||
| over 1 year | 62 | 2,012 |
Why3
|
62 |
Why3
|
Mar 2026 | ||||
| about 2 years | 42 | 9,227 |
Coq proof ass...
|
26 |
O OCaml library... |
Apr 2020 | ||||
| about 1 year | 18 | 98 |
Coq proof ass...
|
13 |
Why3
|
Oct 2024 | ||||
| 8 months | 11 | 9,224 |
Coq proof ass...
|
11 |
Coq proof ass...
|
Feb 2003 | ||||
| 3 months | 4 | 51 |
O OCaml library... |
3 |
O OCaml library... |
Oct 2012 | ||||
| 3 months | 3 | 390 |
Coq proof ass...
|
2 |
Why3
|
Jun 2011 | ||||
| about 1 month | 1 | 33 |
Why3
|
1 |
Why3
|
Dec 2010 | ||||
| about 1 month | 1 | 23 |
Coq proof ass...
|
1 |
Coq proof ass...
|
Feb 2004 | ||||