Rankings
Badges
/
Julek
Rankings
Badges
Overview
Ranks
Repositories
Languages
Julian Sutherland
@Julek
Refresh
Open GitHub
🇬🇧 London, UK
@NethermindEth
Profile age: over 14 years
Updated 10 days ago
60 followers • 52 following
Contacts
@JulekSU
Organizations
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 2
Persona
Influencer
#917,573
#1,791,536
#219,109
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
klyslee
10
1
updated about 13 years ago • age over 14 years
Haskell
100.0%
Nature--code4good-
0
0
updated almost 13 years ago • age almost 13 years
Java
100.0%
LSA
0
1
updated over 7 years ago • age over 8 years
TeX
100.0%
bucharest-lean-ac
0
1
updated about 2 years ago • age over 2 years
Lean
100.0%
Last Contributions
2025
ArkLib
2 PRs
+321
-202
Lean
121
25
7
CompPoly
1 PR
+83
-11
Lean
8
1
2024
formalverification.xyz
2 PRs
+44
-5
TypeScript
10
9
zksync-verification
~19 PRs
+856
-253
eC
3
0
2023
horus-checker
2 PRs
+359
-10
Haskell
76
9
View all contributions
Latest Updates
06 Nov 2025
Followers Count:
58
60
23 Oct 2025
Followers Count:
55
58
09 Sep 2025
Followers Count:
54
55
11 Aug 2025
Followers Count:
51
54
04 Jan 2025
First seen
Subscribe to Julek's GitHub rank updates in your messenger
WhatsApp
Telegram
