Rankings
Badges
/
algebraic-dev
Rankings
Badges
Overview
Ranks
Repositories
Languages
Sofia Rodrigues
@algebraic-dev
Refresh
Open GitHub
null
Profile age: about 5 years
Updated 7 days ago
1,316 followers • 417 following
Contacts
sofia@algebraic.dev
algebraic.dev
Organizations
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 2
Persona
Influencer
#80,259
#460,326
#5,115
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%
idris-4-noobs
Archived
48
2
updated over 3 years ago • age almost 4 years
Idris
100.0%
http
46
7
updated 12 months ago • age almost 2 years
Lean
100.0%
ednaldo
Archived
43
2
updated over 4 years ago • age almost 5 years
JavaScript
100.0%
soda
Archived
23
0
updated almost 2 years ago • age over 3 years
Lean
100.0%
View all 25 repositories
Last Contributions
2025
lean4
2 PRs
+146
-6
Lean
6,491
672
91
vscode-lean4
1 PR
+31
-0
TypeScript
228
77
197
verso
1 PR
+25
-4
JavaScript
218
95
1
reservoir
1 PR
+1,467
-328
Vue
24
6
lang
3 PRs
+382
-79
OCaml
8
1
View all contributions
Latest Updates
26 Sep 2025
Followers Count:
1,307
1,316
12 Sep 2025
Followers Count:
1,301
1,307
29 Aug 2025
Followers Count:
1,298
1,301
15 Aug 2025
Followers Count:
1,286
1,298
31 Jul 2025
Followers Count:
1,280
1,286
15 Jan 2025
First seen
Subscribe to algebraic-dev's GitHub rank updates in your messenger
WhatsApp
Telegram
