Rankings
Badges
/
BinderDavid
Rankings
Badges
Overview
Ranks
Repositories
Languages
David Binder
@BinderDavid
Refresh
Open GitHub
🇬🇧 Canterbury, UK
University of Kent
Profile age: over 9 years
Updated 10 days ago
71 followers • 31 following
Contacts
binderdavid.github.io
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 3
Persona
Influencer
#352,737
#485,347
#178,369
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
haskell-spec
25
3
updated 3 days ago • age 4 months
TeX
55.0%
Lean
43.0%
Nix
2.0%
AbstractMachines
10
0
updated over 6 years ago • age over 6 years
veriflex
6
0
updated about 1 month ago • age about 2 months
Lean
100.0%
HoTT-StudyGroup
5
1
updated over 8 years ago • age almost 9 years
Lean
100.0%
bibliography
4
1
updated 19 days ago • age over 2 years
TeX
100.0%
View all 12 repositories
Last Contributions
2025
polarity
1 PR
+3
-1
Rust
121
9
1
tuebixorg
1 PR
+10
-3
Python
13
8
sequent-calculus-compiler
~10 PRs
+692
-1,237
Rust
7
0
vscode
3 PRs
+14
-6
TypeScript
0
0
1
polarity-lang.github.io
2 PRs
+39
-6
HTML
0
0
View all contributions
Latest Updates
22 Sep 2025
Followers Count:
69
71
08 Sep 2025
Followers Count:
66
69
25 Aug 2025
Followers Count:
63
66
11 Aug 2025
Followers Count:
62
63
13 Jul 2025
Followers Count:
60
62
06 Jan 2025
First seen
Subscribe to BinderDavid's GitHub rank updates in your messenger
WhatsApp
Telegram
