Rankings
Badges
/
AlecsFerra
Rankings
Badges
Overview
Ranks
Repositories
Languages
Alessio
@AlecsFerra
Refresh
Open GitHub
🇪🇸 Madrid, Spain
IMDEA Software Institute
Profile age: almost 8 years
Updated 2 days ago
56 followers • 59 following
Contacts
alecsferra.github.io
Profile Overview
Global
Spain
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 1
Persona
Contributor
#729,469
#329,102
#237,241
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
dot-config
6
0
updated 14 days ago • age about 5 years
Shell
48.5%
Lua
28.0%
Emacs Lisp
10.8%
CSS
9.2%
Haskell
3.6%
HaskellParser
5
0
updated over 4 years ago • age over 4 years
Haskell
100.0%
rec
4
0
updated over 2 years ago • age almost 3 years
Haskell
100.0%
PolynomialFunctors
1
0
updated over 2 years ago • age over 2 years
Agda
100.0%
ATPL-Notes
0
0
updated over 2 years ago • age over 2 years
View all 7 repositories
Last Contributions
2025
liquidhaskell
2 PRs
+12
-5
Haskell
1,264
150
15
emacs
1 PR
+42
-29
Emacs Lisp
391
58
liquid-fixpoint
1 PR
+19
-1
Haskell
152
63
9
liquid-server
2 PRs
+124
-177
JavaScript
3
5
2024
liquidhaskell
~6 PRs
+342
-23
Haskell
1,264
150
15
View all contributions
Latest Updates
22 Oct 2025
Followers Count:
54
56
08 Oct 2025
Followers Count:
56
54
23 Sep 2025
Followers Count:
55
56
09 Sep 2025
Followers Count:
56
55
24 Aug 2025
Followers Count:
58
56
17 Jan 2025
First seen
Subscribe to AlecsFerra's GitHub rank updates in your messenger
WhatsApp
Telegram
