Rankings
Badges
/
kevinsullivan
Rankings
Badges
Overview
Ranks
Repositories
Languages
Kevin Sullivan
@kevinsullivan
Refresh
Open GitHub
null
Profile age: almost 13 years
Updated 6 days ago
30 followers • 2 following
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 2
Persona
Creator
#282,105
N/A
#465,286
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
cs1113f16
17
2
updated over 8 years ago • age about 9 years
HTML
59.0%
Idris
37.8%
CSS
1.8%
Python
1.4%
cs-dm
16
20
updated almost 6 years ago • age over 7 years
Lean
100.0%
TLAPlusDocker
9
36
updated almost 3 years ago • age almost 3 years
Dockerfile
100.0%
uva-cs-dm-s19
8
1
updated about 6 years ago • age over 6 years
Lean
100.0%
cs6501s23
8
6
updated about 2 years ago • age over 2 years
HTML
54.1%
Lean
27.8%
C++
10.7%
Pascal
5.2%
JavaScript
2.1%
View all 22 repositories
Latest Updates
11 Sep 2025
Followers Count:
29
30
06 Jan 2025
First seen
Subscribe to kevinsullivan's GitHub rank updates in your messenger
WhatsApp
Telegram
