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/
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%
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
easycrypt-doc
1 PR
+19
-19
TeX
7
5
ec-tactics
1 PR
+82
-0
eC
1
3
