Rankings
Badges
/
dranov
Rankings
Badges
Overview
Ranks
Repositories
Languages
George Pîrlea
@dranov
Refresh
Open GitHub
🇸🇬 Singapore
Profile age: over 13 years
Updated 7 days ago
102 followers • 415 following
Contacts
http://pirlea.net
Profile Overview
Global
Singapore
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 1
Persona
Influencer
#129,343
#870,427
#117,179
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
protocol-bugs-list
198
7
updated over 1 year ago • age about 4 years
TeX
63.8%
HTML
35.3%
Makefile
0.9%
raft-tla
21
3
updated almost 4 years ago • age about 4 years
TLA
100.0%
cosplit-artefact
2
1
2
updated over 4 years ago • age over 4 years
Jupyter Notebook
92.6%
Python
6.0%
R
0.7%
Shell
0.4%
TeX
0.3%
one-expense
2
0
updated over 11 years ago • age over 11 years
JavaScript
50.2%
Python
33.9%
CSS
16.0%
pathways
2
0
updated almost 9 years ago • age over 9 years
HTML
53.8%
CSS
28.8%
JavaScript
12.9%
Ruby
4.5%
CoffeeScript
0.1%
View all 10 repositories
Last Contributions
2025
lean-smt
1 PR
+27
-27
Lean
220
28
lean-cvc5
1 PR
+21
-11
Lean
20
6
13
2024
lean-auto
~6 PRs
+330
-177
Lean
136
23
13
duper
3 PRs
+48
-48
Lean
89
12
8
2023
soroban-examples
1 PR
+92
-5
Rust
92
89
22
View all contributions
Latest Updates
23 Sep 2025
Starred Repositories Count:
505
511
Followers Count:
101
102
Following Count:
414
415
09 Sep 2025
Starred Repositories Count:
501
505
25 Aug 2025
Starred Repositories Count:
497
501
Followers Count:
99
101
11 Aug 2025
Starred Repositories Count:
493
497
Followers Count:
97
99
Following Count:
413
414
28 Jul 2025
Starred Repositories Count:
488
493
Followers Count:
96
97
09 Jan 2025
First seen
Subscribe to dranov's GitHub rank updates in your messenger
WhatsApp
Telegram
