Rankings
Badges
/
afonsonf
Rankings
Badges
Overview
Ranks
Repositories
Languages
Afonso Fernandes
@afonsonf
Refresh
Open GitHub
🇵🇹 Porto, Portugal
Profile age: about 9 years
Updated 4 days ago
19 followers • 16 following
Contacts
https://www.linkedin.com/in/afonsonf/
Organizations
Profile Overview
Global
Portugal
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 3
Persona
Creator
#131,280
#1,026,201
#749,030
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
tlaplus-graph-explorer
198
2
updated almost 2 years ago • age over 4 years
JavaScript
57.0%
HTML
22.8%
CSS
11.9%
Yacc
8.3%
ceph-consensus-spec
24
0
updated over 3 years ago • age over 4 years
TLA
94.9%
JavaScript
3.2%
HTML
0.9%
CSS
0.9%
Dockerfile
0.1%
Last Contributions
2025
semantic-conventions
2 PRs
+286
-16
Open Policy Agent
426
263
18
2024
vscode-tlaplus
1 PR
+8
-10
TypeScript
389
41
2023
keystore-explorer
1 PR
+177
-48
Java
1,897
295
20
vscode-tlaplus
~11 PRs
+5,111
-3,730
TypeScript
389
41
2021
CommunityModules
2 PRs
+455
-13
TLA
295
42
245
View all contributions
Subscribe to afonsonf's GitHub rank updates in your messenger
WhatsApp
Telegram
