Rankings
Badges
/
Alf0nso
Rankings
Badges
Overview
Ranks
Repositories
Languages
Afonso Rafael (Gafanhoto)
@Alf0nso
Refresh
Open GitHub
🇪🇸 Barcelona
Barcelona Supercomputing Center
Profile age: about 8 years
Updated 8 days ago
70 followers • 267 following
Contacts
https://alf0nso.github.io/
@_Gafanhoto
@gafanhoto@masto.pt
Organizations
Repositories
GMP
13
1
updated 5 months ago • age about 2 years
Haskell
100.0%
NN-Games
6
0
updated 12 months ago • age almost 5 years
Python
97.8%
C
2.2%
Contributions
2025
scel
1 PR
+19
-19
Emacs Lisp
79
23
2023
liquidhaskell
1 PR
+53
-35
Haskell
1
0
2022
liquid-fixpoint
1 PR
+1
-2
Haskell
152
63
9
