Developer Profile

Bas Spitters

@spitters

Denmark

GitHub

Impact Score Overview

Developer Impact & Statistics

Final Score

51 / 100Raw: 411.00

Repository Score

30 / 100Raw: 43.00

PR Score

74 / 100Raw: 853.00

Contribution Score

43 / 100Raw: 76.00

Score Weight Distribution

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

Repository Score (45%)5% of final signal

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

Contribution Score (10%)2% of final signal

Top Work

Top Work & Highlights

Top Repositories

Most impactful repositories and pull requests

#1CatCrypt-core

stars4

forks1

Lean 9300%TeX 600%Python 100%

Score

#2libcrux-lean-specs

stars5

forks1

Lean 8000%Rust 2000%

Score

#3nominal-lean

stars2

forks0

Lean 10000%

Score

Top Pull Requests

Most impactful repositories and pull requests

#1Update .travis.yml

in HoTT/book

stars on the PR repository2167

+599/-59

TeX 8300%Python 1300%Rocq Prover 200%

Score

#2Removing admits, one left due to universe inconsistency.

in HoTT/Coq-HoTT

stars on the PR repository1406

+106/-68

Rocq Prover 9900%Python 100%

Score

#3Adding Quotients

in HoTT/Coq-HoTT

stars on the PR repository1406

+237/-1

Rocq Prover 9900%Python 100%

Score

Community Contributions

comments

#1Issue

fiat cryptography

rocq-prover/platform

stars246

comments65

Score

#2Issue

Windows

HoTT/Coq-HoTT

stars1406

comments18

Score

#3Issue

Jasmin and alternate Montgomery strategies

mit-plv/fiat-crypto

stars839

comments16

Score

Scoring Transparency

▼

Repositories analyzed

Pull requests analyzed

Merged external PRs counted

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