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
Repositories
dot-config
6
0
updated 15 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
liquid-fixpoint
0
0
updated 9 months ago • age about 1 year
Haskell
94.5%
SMT
5.2%
Shell
0.3%
MSc-Thesis
0
0
updated 12 months ago • age over 1 year
TeX
100.0%
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
liquid-fixpoint
2 PRs
+323
-80
Haskell
152
63
9
liquid-server
1 PR
+296
-4
JavaScript
3
5
2023
nixpkgs
1 PR
+2
-0
Nix
22,039
16,952
X_400111-EvolutionaryComputing
1 PR
+0
-957
Python
1
0
atpl-exercises
2 PRs
+383
-4
1
0
Show more
