Rankings
Badges
/
cipher1024
Rankings
Badges
Overview
Ranks
Repositories
Languages
Simon Hudon
@cipher1024
Refresh
Open GitHub
🇺🇸 Boston
Bedrock Systems
Profile age: over 16 years
Updated 1 day ago
41 followers • 19 following
Contacts
simon.hudon@gmail.com
https://sites.google.com/site/simonhudon/
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 4
Persona
Influencer
#1,025,946
#579,987
#336,222
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
slim_check
4
0
updated almost 6 years ago • age about 8 years
Lean
97.8%
Shell
2.2%
lean-pl
1
0
updated about 6 years ago • age over 6 years
Lean
100.0%
smt-lean
1
3
updated over 6 years ago • age over 6 years
Lean
100.0%
lean-depot
1
0
updated almost 6 years ago • age almost 6 years
Lean
82.3%
Python
17.7%
lean-datalog
1
1
updated about 6 years ago • age about 6 years
Lean
100.0%
View all 6 repositories
Last Contributions
2022
lean4
2 PRs
+44
-3
Lean
6,572
677
92
leanprover-community.github.io
2 PRs
+5
-3
CSS
64
159
2021
silveroak
2 PRs
+87
-58
Coq
127
20
yasnippet-lean
1 PR
+150
-2
YASnippet
3
2
2020
lean
1 PR
+298
-13
C++
434
79
76
View all contributions
Subscribe to cipher1024's GitHub rank updates in your messenger
WhatsApp
Telegram
