Rankings
Badges
/
algebraic-dev
Rankings
Badges
Overview
Ranks
Repositories
Languages
Sofia Rodrigues
@algebraic-dev
Refresh
Open GitHub
null
Profile age: about 5 years
Updated 10 days ago
1,323 followers • 419 following
Contacts
sofia@algebraic.dev
algebraic.dev
Organizations
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 2
Persona
Influencer
#80,328
#463,836
#5,189
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
vulpi
108
1
updated almost 2 years ago • age almost 3 years
Rust
100.0%
http
49
5
updated about 1 year ago • age almost 2 years
Lean
100.0%
idris-4-noobs
Archived
48
2
updated over 3 years ago • age about 4 years
Idris
100.0%
ednaldo
Archived
43
2
updated over 4 years ago • age about 5 years
JavaScript
100.0%
soda
Archived
23
0
updated almost 2 years ago • age over 3 years
Lean
100.0%
View all 26 repositories
Last Contributions
2025
lean4
~35 PRs
+590
-112
Lean
6,712
691
94
vscode-lean4
1 PR
+31
-0
TypeScript
238
79
203
verso
1 PR
+25
-4
JavaScript
233
95
2
theorem_proving_in_lean4
1 PR
+6
-0
Lean
219
110
fp-lean
1 PR
+7
-0
Lean
121
47
5
View all contributions
Latest Updates
07 Nov 2025
Followers Count:
1,322
1,323
24 Oct 2025
Followers Count:
1,321
1,322
10 Oct 2025
Followers Count:
1,316
1,321
26 Sep 2025
Followers Count:
1,307
1,316
12 Sep 2025
Followers Count:
1,301
1,307
15 Jan 2025
First seen
Subscribe to algebraic-dev's GitHub rank updates in your messenger
WhatsApp
Telegram
