Developer Profile

Andreas Abel

@andreasabel

Gothenburg, Sweden

GitHub

Impact Score Overview

Developer Impact & Statistics

Final Score

71 / 100Raw: 1469.00

Repository Score

58 / 100Raw: 135.00

PR Score

91 / 100Raw: 3114.00

Contribution Score

40 / 100Raw: 67.00

Score Weight Distribution

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

Repository Score (45%)4% of final signal

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

Contribution Score (10%)1% of final signal

Top Work

Top Work & Highlights

Top Repositories

Most impactful repositories and pull requests

#1miniagda

stars115

forks4

watchers4

Haskell67%Mathematica26%TeX5%

Score

#2ipl

stars23

forks2

watchers3

TeX82%Agda14%BibTeX Style2%

Score

#3helf

stars34

forks3

watchers3

Haskell58%TeX38%Makefile2%

Score

Top Pull Requests

Most impactful repositories and pull requests

#1Turn on warning ShadowingInTelescope by default

in agda/agda

stars on the PR repository2954

+179/-33

Haskell57%Agda29%TeX7%

Score

#2Fix #8851: check that unquoteDecl invocation actually defines names

in agda/agda

stars on the PR repository2954

+133/-45

Haskell57%Agda29%TeX7%

Score

#3Test for #8830; some test simplification

in agda/agda

stars on the PR repository2954

+150/-137

Haskell57%Agda29%TeX7%

Score

Community Contributions

Most impactful public issues and discussions

#1Issue

`Type` printed as `Set` in conversion error

agda/agda

stars2954

comments10

Score

#2Issue

Upgrading to Stack 3.11.1 seems to break `stack exec -- pkg-config`

commercialhaskell/stack

stars4079

comments8

Score

#3Issue

Should we allow λ with empty `where` block as absurd lambda?

agda/agda

stars2954

comments8

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