Rankings
Badges
/
kelloggm
Rankings
Badges
Overview
Ranks
Repositories
Languages
Martin Kellogg
@kelloggm
Refresh
Open GitHub
null
Profile age: over 12 years
Updated 12 days ago
56 followers • 0 following
Contacts
martin.kellogg@njit.edu
https://web.njit.edu/~mjk76/
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 1
Persona
Influencer
#243,284
#705,206
#236,059
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
checkerframework-gradle-plugin
70
16
updated 21 days ago • age almost 7 years
Groovy
96.8%
Shell
3.2%
object-construction-checker
11
7
updated over 2 years ago • age over 6 years
Java
95.4%
Shell
3.4%
Dockerfile
1.2%
paper-template
4
2
updated about 2 months ago • age about 2 years
TeX
90.1%
Makefile
9.9%
div-by-zero-checker
2
83
updated 20 days ago • age over 5 years
Java
100.0%
kodellama2
2
0
updated almost 11 years ago • age almost 11 years
Coq
55.1%
OCaml
38.2%
Python
3.5%
Makefile
3.3%
View all 30 repositories
Last Contributions
2025
checker-framework
1 PR
+9
-2
Java
1,093
379
126
checker-framework
1 PR
+11
-0
Java
3
1
daikonplusplus
1 PR
+440
-0
Java
0
0
perses-evaluation
1 PR
+1
-1
Python
0
1
specimin-evaluation
2 PRs
+1,246
-9
Python
0
3
View all contributions
Latest Updates
19 Sep 2025
Followers Count:
55
56
22 Aug 2025
Followers Count:
53
55
16 Jan 2025
First seen
Subscribe to kelloggm's GitHub rank updates in your messenger
WhatsApp
Telegram
