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/
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%
mathlib
0
0
updated over 3 years ago • age about 8 years
Lean
99.9%
Shell
0.1%
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
leanprover-community.github.io
1 PR
+12
-1
CSS
64
159
mathlib-tools
1 PR
+59
-14
Python
33
28
2019
melpa
1 PR
+3
-0
Emacs Lisp
2,878
2,614
mathlib3
1 PR
+33
-5
Lean
1,668
292
lean
2 PRs
+65
-32
C++
434
79
76
Show more
