Keshav Kini
アメリカ合衆国 テキサス オースティン
Languages
Analyzed
about 2 hours
ago
| Language | Aggregate Coding Time |
Total Commits |
Total Lines Changed |
Most Commits: | Most Recent Commit: | |||||
|---|---|---|---|---|---|---|---|---|---|---|
| Project | Commits | Project | Commit Month | |||||||
| over 2 years | 135 | 545,721 |
A acl2 |
135 |
A acl2 |
Aug 2021 | ||||
| over 1 year | 124 | 3,770 |
Sage: Open So...
|
116 |
Sage: Open So...
|
Jun 2013 | ||||
| about 3 years | 128 | 5,067 |
S sage-workflow |
46 |
NixOS
|
Nov 2022 | ||||
| over 1 year | 41 | 722 |
NixOS
|
38 |
NixOS
|
Nov 2022 | ||||
| 9 months | 19 | 110,254 |
Sage: Open So...
|
17 |
A acl2 |
Oct 2017 | ||||
| 10 months | 19 | 75,409 |
Sage: Open So...
|
15 |
A acl2 |
Aug 2020 | ||||
| 8 months | 15 | 278 |
A acl2 |
14 |
A acl2 |
Aug 2020 | ||||
| 10 months | 17 | 1,342 |
A acl2 |
8 |
A acl2 |
Aug 2020 | ||||
| 11 months | 19 | 111 |
spacemacs
|
7 |
spacemacs
|
Nov 2020 | ||||
| 2 months | 5 | 1,224 |
A acl2 |
5 |
A acl2 |
Nov 2018 | ||||
| 4 months | 6 | 6,210 |
A acl2 |
5 |
A acl2 |
Aug 2020 | ||||
| 3 months | 5 | 202 |
A acl2 |
5 |
A acl2 |
Jul 2018 | ||||
| 5 months | 7 | 2,398 |
Sage: Open So...
|
4 |
A acl2 |
Aug 2020 | ||||
| 2 months | 3 | 24 |
A acl2 |
3 |
A acl2 |
Aug 2020 | ||||
| 2 months | 3 | 2,394 |
A acl2 |
3 |
A acl2 |
Aug 2020 | ||||
| 5 months | 7 | 95 |
G Gentoo Scienc... |
3 |
G Gentoo Scienc... |
Jan 2014 | ||||
| 3 months | 5 | 21,826 |
A acl2 |
3 |
A acl2 |
Aug 2020 | ||||
| 2 months | 5 | 82,422 |
cabal
|
2 |
cabal
|
Jul 2014 | ||||
| 2 months | 2 | 231 |
A acl2 |
2 |
A acl2 |
Jul 2018 | ||||
| about 1 month | 1 | 5,040 |
IHaskell
|
1 |
IHaskell
|
Aug 2014 | ||||
| about 1 month | 2 | 30 |
OpenSSL
|
1 |
OpenSSL
|
Oct 2017 | ||||
| about 1 month | 1 | 6 |
A acl2 |
1 |
A acl2 |
Oct 2017 | ||||
| about 1 month | 1 | 1 |
Sage: Open So...
|
1 |
Sage: Open So...
|
Jun 2012 | ||||
| about 1 month | 1 | 0 |
A acl2 |
1 |
A acl2 |
Oct 2017 | ||||