Rankings
Badges
/
MM45
Rankings
Badges
Overview
Ranks
Repositories
Languages
Matthias Meijers
@MM45
Refresh
Open GitHub
Eindhoven
Profile age: about 8 years
Updated 4 days ago
6 followers • 1 following
Contacts
https://mmeijers.com/
Repositories
SABER-Jasmin
6
0
updated almost 4 years ago • age about 5 years
C
91.6%
Makefile
4.5%
Assembly
3.5%
Pawn
0.4%
Saber-Formal-Verification-EasyCrypt
2
1
updated over 2 years ago • age over 4 years
eC
100.0%
FV-XMSS-EC
2
1
updated about 1 month ago • age over 2 years
eC
100.0%
FV-SPHINCSPLUS-EC
0
0
updated about 1 month ago • age over 2 years
eC
100.0%
Contributions
2025
easycrypt
1 PR
+1
-1
OCaml
368
54
8
formosa-xmss
~7 PRs
+474
-309
eC
1
0
EasyCrypt-KEMs
2 PRs
+11,306
-462
eC
0
1
2024
easycrypt
3 PRs
+6,025
-2
OCaml
368
54
8
db
1 PR
+1
-1
TeX
45
74
EasyCrypt-KEMs
1 PR
+1,445
-2
eC
0
1
2023
easycrypt
3 PRs
+5,500
-1
OCaml
368
54
8
2022
easycrypt
2 PRs
+128
-3
OCaml
368
54
8
