Developer Profile

Facundo Domínguez

@facundominguez

Montevideo, Uruguay

GitHub

Impact Score Overview

Developer Impact & Statistics

Final Score

48 / 100Raw: 724.00

Repository Score

13 / 100Raw: 14.00

PR Score

84 / 100Raw: 1577.00

Contribution Score

42 / 100Raw: 74.00

Score Weight Distribution

finalScore = repoScore * 0.45 + prScore * 0.45 + contributionScore * 0.10

Repository Score (45%)1% of final signal

Pull Request Score (45%)98% of final signal

Contribution Score (10%)1% of final signal

Top Work

Top Work & Highlights

Top Repositories

Most impactful repositories and pull requests

#1stitch-lh

stars11

forks3

Haskell 9900%Nix 100%

Score

#2hie-issues

stars1

forks0

Haskell 10000%

Score

#3package-loader

stars1

forks0

Haskell 10000%

Score

Top Pull Requests

Most impactful repositories and pull requests

#1Check newtype values as data

in ucsd-progsys/liquidhaskell

stars on the PR repository1333

+193/-235

Haskell 9600%C 300%

Score

#2Do not expand newtype constructors to their representations

in ucsd-progsys/liquidhaskell

stars on the PR repository1333

+3/-195

Haskell 9600%C 300%

Score

#3Simplify exception handling

in ucsd-progsys/liquidhaskell

stars on the PR repository1333

+77/-98

Haskell 9600%C 300%

Score

Community Contributions

comments

#1Issue

Exponential growth of constraints on the number of lemma applications

ucsd-progsys/liquidhaskell

stars1333

comments19

Score

#2Issue

Seemly different functions proved as equal

ucsd-progsys/liquidhaskell

stars1333

comments14

Score

#3Issue

Use theory of arrays to reason with operations of Data.Map

ucsd-progsys/liquidhaskell

stars1333

comments14

Score

Scoring Transparency

▼

Repositories analyzed

Pull requests analyzed

300

Merged external PRs counted

300

Own-repo PRs ignored

Unmerged PRs ignored

Unique external repositories

Issues analyzed

100

External issues counted

100

Discussions analyzed

External discussions counted

How this score was calculated

View the full scoring methodology with formulas, penalties, and step-by-step flow.

View full methodology