Rankings
Badges
/
facundominguez
Rankings
Badges
Overview
Ranks
Repositories
Languages
Facundo Domínguez
@facundominguez
Refresh
Open GitHub
🇺🇾 Montevideo, Uruguay
Tweag
Profile age: almost 14 years
Updated 10 days ago
87 followers • 0 following
Contacts
facundo.dominguez@tweag.io
Organizations
Repositories
stitch-lh
11
3
updated over 3 years ago • age over 4 years
Haskell
99.3%
Nix
0.7%
liquidhaskell
0
0
updated 12 months ago • age over 4 years
Haskell
96.2%
C
3.1%
Shell
0.3%
Python
0.3%
M4
0.1%
tasty
0
0
updated over 1 year ago • age almost 12 years
Haskell
100.0%
quickjs
0
0
updated over 2 years ago • age over 2 years
C
92.2%
JavaScript
7.3%
Makefile
0.4%
Shell
0.1%
split
0
0
updated about 4 years ago • age over 4 years
Haskell
100.0%
zlib
0
0
updated over 4 years ago • age over 4 years
C
79.3%
Haskell
17.7%
Objective-C
2.6%
Makefile
0.2%
Shell
0.1%
vector-algorithms
0
0
updated over 4 years ago • age over 4 years
Haskell
99.2%
C++
0.8%
data-fix
0
0
updated over 4 years ago • age over 4 years
Haskell
100.0%
time-compat
0
0
updated over 4 years ago • age over 4 years
Haskell
99.2%
Shell
0.8%
Contributions
2025
liquidhaskell
~22 PRs
+212
-317
Haskell
1,256
150
15
HaskellR
3 PRs
+45
-200
Haskell
585
42
6
stackage
1 PR
+1
-1
Dockerfile
546
822
inline-java
3 PRs
+952
-382
Haskell
234
16
4
liquid-fixpoint
~6 PRs
+42
-6
Haskell
152
62
9
summer-of-haskell
1 PR
+79
-0
HTML
95
78
formal-ledger-specifications
1 PR
+86
-14
Agda
45
18
timestats
1 PR
+35
-45
Haskell
18
1
rest
2 PRs
+5
-5
Haskell
4
7
4
agda-sets
3 PRs
+20
-2
Agda
3
2
Show more
