Rankings
Badges
/
kmill
Rankings
Badges
Overview
Ranks
Repositories
Languages
Kyle Miller
@kmill
Refresh
Open GitHub
🇺🇸 Santa Cruz, California
Profile age: over 15 years
Updated 11 days ago
87 followers • 1 following
Contacts
https://kmill.github.io/
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 5
Persona
Influencer
#122,553
#682,509
#140,187
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
lean4-raytracer
140
5
updated over 1 year ago • age over 4 years
Lean
55.3%
C
44.7%
knotfolio
32
1
updated over 1 year ago • age about 6 years
JavaScript
73.0%
Mathematica
22.4%
Python
2.4%
CSS
1.7%
HTML
0.5%
LeanTeX
31
6
updated 7 months ago • age about 2 years
Lean
100.0%
textadv
14
2
updated almost 11 years ago • age over 14 years
Python
99.2%
JavaScript
0.8%
zmach
9
1
updated over 8 years ago • age over 9 years
JavaScript
98.0%
CSS
1.1%
HTML
0.9%
View all 11 repositories
Last Contributions
2025
lean4
2 PRs
+165
-49
Lean
6,491
672
91
mathlib4
1 PR
+16
-16
Lean
2,379
802
batteries
3 PRs
+4
-3
Lean
329
126
28
aesop
1 PR
+19
-20
Lean
299
37
doc-gen4
1 PR
+32
-14
Lean
105
53
View all contributions
Latest Updates
20 Sep 2025
Followers Count:
86
87
09 Aug 2025
Followers Count:
85
86
25 Jul 2025
Followers Count:
83
85
11 Jul 2025
Followers Count:
80
83
04 Jan 2025
First seen
Subscribe to kmill's GitHub rank updates in your messenger
WhatsApp
Telegram
