Rankings
Badges
/
gleachkr
Rankings
Badges
Overview
Ranks
Repositories
Languages
Graham Leach-Krouse
@gleachkr
Refresh
Open GitHub
🇺🇸 Arlington, Massachusetts
Draper Laboratory
Profile age: almost 12 years
Updated 4 days ago
48 followers • 66 following
Contacts
gleachkr@gmail.com
grahamlk.me
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 2
Persona
Contributor
#451,025
#290,777
#281,878
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
x86.lean
12
0
updated 11 days ago • age 11 days
Lean
100.0%
Lectic
10
0
15
updated 17 days ago • age 9 months
TypeScript
95.7%
Lua
2.5%
Nix
1.1%
Shell
0.4%
Vim Script
0.3%
lean.lua
5
0
updated 10 months ago • age over 2 years
HTML
63.4%
Lua
36.6%
TermRewriting
4
0
updated about 1 year ago • age over 1 year
Lean
100.0%
ProofJS
3
1
updated over 4 years ago • age over 6 years
JavaScript
99.9%
HTML
0.0%
CSS
0.0%
View all 6 repositories
Last Contributions
2025
gmail-to-sqlite
1 PR
+20
-14
Python
1,200
55
2024
codecompanion.nvim
1 PR
+7
-6
Lua
5,436
311
363
apalache
1 PR
+24
-24
Scala
499
44
131
2022
en.javascript.info
1 PR
+1
-1
HTML
24,833
3,985
Carnap
1 PR
+2
-2
Haskell
305
30
View all contributions
Latest Updates
21 Oct 2025
Followers Count:
47
48
21 Sep 2025
Followers Count:
46
47
22 Aug 2025
Followers Count:
45
46
10 Jan 2025
First seen
Subscribe to gleachkr's GitHub rank updates in your messenger
WhatsApp
Telegram
