Developer Profile

Clément Pit-Claudel

@cpitclaudel

Lausanne, Switzerland

GitHub

Impact Score Overview

Developer Impact & Statistics

Final Score

74 / 100Raw: 1550.00

Repository Score

62 / 100Raw: 166.00

PR Score

92 / 100Raw: 3261.00

Contribution Score

43 / 100Raw: 75.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%)95% of final signal

Contribution Score (10%)0% of final signal

Top Work

Top Work & Highlights

Top Repositories

Most impactful repositories and pull requests

#1alectryon

stars328

forks45

watchers9

HTML48%Python27%TeX20%

Score

#2company-coq

stars361

forks32

watchers8

Emacs Lisp86%Rocq Prover9%Python4%

Score

#3biblio.el

stars219

forks17

watchers10

Emacs Lisp100%

Score

Top Pull Requests

Most impactful repositories and pull requests

#1Add support for `autorewrite <-`

in rocq-prover/rocq

stars on the PR repository5632

+106/-46

OCaml74%Rocq Prover23%Shell1%

Score

#2Fix #12361 (indexing issues in the PDF)

in rocq-prover/rocq

stars on the PR repository5632

+85/-81

OCaml74%Rocq Prover23%Shell1%

Score

#3[refman] Misc fixes (indentation, whitespace, notation syntax)

in rocq-prover/rocq

stars on the PR repository5632

+113/-97

OCaml74%Rocq Prover23%Shell1%

Score

Community Contributions

Most impactful public issues and discussions

#1Issue

Unsound compilation of local classes in conjunction with exceptions

scala/scala3

stars6327

comments18

Score

#2Discussion

-short-paths can be too aggressive

ocaml/ocaml

stars6607

comments12

Score

#3Issue

Can we warn about curly braces in mistyped expression-level `if`s?

dafny-lang/dafny

stars3595

comments12

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