Rankings
Badges
/
GioMaz
Rankings
Badges
Overview
Ranks
Repositories
Languages
Giovanni Maria Zanchetta
@GioMaz
Refresh
Open GitHub
🇮🇹 Veneto, Italy
Profile age: over 6 years
Updated 19 days ago
2 followers • 0 following
Repositories
ssara
10
0
updated about 1 month ago • age 6 months
Rocq Prover
91.9%
OCaml
8.1%
nbsf.c
0
0
updated almost 2 years ago • age about 2 years
C
100.0%
telemetry
0
0
updated 12 months ago • age about 1 year
C++
94.5%
CMake
5.5%
Contributions
2024
psychic-disco
2 PRs
+1,196
-258
C
1
1
1
2023
grok.net
1 PR
+5
-0
C#
320
57
4
psychic-disco
1 PR
+473
-341
C
1
1
1
2021
grok.net
1 PR
+41
-1
C#
320
57
4
