Rankings
Badges
/
dfaranha
Rankings
Badges
Overview
Ranks
Repositories
Languages
Diego F. Aranha
@dfaranha
Refresh
Open GitHub
🇩🇰 Aarhus, Denmark
Aarhus University
Profile age: about 12 years
Updated 8 days ago
297 followers • 2 following
Contacts
dfaranha@gmail.com
https://dfaranha.github.io
@dfaranha
Repositories
OpenPairing
31
7
updated almost 10 years ago • age about 10 years
C
77.8%
C++
22.2%
aggregate-falcon
14
0
updated over 1 year ago • age over 1 year
C
60.9%
Python
29.0%
Sage
9.7%
Makefile
0.5%
lattice-voting-ctrsa21
6
1
updated almost 2 years ago • age over 4 years
C++
93.0%
C
6.9%
Makefile
0.1%
range-proofs
5
0
updated almost 4 years ago • age over 5 years
Rust
100.0%
dissy-e22-handins
1
6
updated about 3 years ago • age about 3 years
Python
79.9%
Go
20.1%
au-syssec-f25-exercises
1
6
updated 7 months ago • age 10 months
Python
58.8%
C
19.8%
HTML
14.0%
JavaScript
5.4%
Makefile
2.0%
gls254
1
0
updated almost 3 years ago • age over 3 years
C
56.0%
POV-Ray SDL
34.8%
Assembly
5.9%
Sage
3.2%
Makefile
0.1%
minicurso-sbseg
0
3
updated about 9 years ago • age over 9 years
TeX
100.0%
virgo-plus
0
0
updated about 2 years ago • age over 2 years
C++
57.5%
C
42.2%
CMake
0.3%
bls-signatures
0
0
updated over 4 years ago • age over 4 years
C++
75.6%
Python
10.9%
C
7.8%
JavaScript
3.7%
CMake
1.9%
Show more - 10 of 12 shown
Contributions
2025
circl
1 PR
+16
-6
Go
1,553
177
15
relic
1 PR
+1,543
-185
C
499
185
12
2024
relic
~9 PRs
+1,123
-735
C
499
185
12
2023
relic
3 PRs
+1,178
-269
C
499
185
12
2022
relic
2 PRs
+10,038
-297
C
499
185
12
deciduous
1 PR
+1
-1
HTML
219
20
1
urna-website
1 PR
+1
-1
HTML
4
1
2021
CSrankings
1 PR
+1
-1
Python
2,980
3,816
fiat-crypto
1 PR
+3
-5
Rocq Prover
780
157
41
relic
3 PRs
+3,067
-283
C
499
185
12
Show more
