Rankings
Badges
/
ruipedro16
Rankings
Badges
Overview
Ranks
Repositories
Languages
Rui Fernandes
@ruipedro16
Refresh
Open GitHub
🇩🇪 Germany
Profile age: about 6 years
Updated 5 days ago
8 followers • 2 following
Contacts
ruipedro16@protonmail.com
https://ruipedro16.github.io/
Profile Overview
Global
Germany
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Adept 1
Persona
Contributor
N/A
#1,300,279
#1,496,416
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
xmss-jasmin
Archived
2
0
updated 7 months ago • age over 1 year
eC
64.6%
C
29.4%
Makefile
5.3%
Dockerfile
0.5%
Shell
0.2%
Redes
Archived
0
0
updated almost 3 years ago • age almost 3 years
Python
95.7%
Shell
4.3%
Last Contributions
2025
easycrypt
1 PR
+2
-2
OCaml
368
54
8
jasmin-doc
1 PR
+1
-1
Python
4
5
formosa-xmss
1 PR
+101
-93
eC
1
0
2024
PG
1 PR
+1
-0
Emacs Lisp
539
95
2
hax
1 PR
+6
-6
OCaml
317
39
7
View all contributions
Latest Updates
24 Jul 2025
Avatar:
changed
16 Feb 2025
Company:
Max Planck Institute for Security & Privacy (removed)
17 Jan 2025
First seen
Subscribe to ruipedro16's GitHub rank updates in your messenger
WhatsApp
Telegram
