yaeldillies — 84.70/100 · ELITE

← Back to Hall of Fame

@yaeldillies

Yaël Dillies

84.70/100

🥇 ELITE

Elite · Top-tier dev

#形式化数学家#加法组合博士#mathlib贡献者#Lean生态大佬#Formal Math Wizard#Lean Core Contributor#Mathlib Mainstay#DeepMind OSS Grind

Score breakdown

Account maturity10.0 / 10

Original project quality10.5 / 18

Contribution quality20.9 / 27

Ecosystem / maintenance impact18.1 / 20

Community influence6.2 / 8

Activity authenticity17.0 / 17

🧬 Most similar developers

Closest profile, nearby score

#Linux Kernel Contributor

#vLLM Core Maintainer

🔥 Full roast

🔥 10 years on GitHub, 1800+ PRs to mathlib4, code for DeepMind's 1k-star Formal Conjectures, and your own highest-starred project is just 80 stars? You're the top-tier open source temp worker who only e

📌 Pin to your GitHub profile

Copy any snippet below into your Profile README. The score stays up to date automatically, and the image links to your detail page.

Badge

Markdown

[![GitHub Roast score badge](https://githubroast.dev/api/badge/yaeldillies)](https://githubroast.dev/u/yaeldillies)

HTML

<a href="https://githubroast.dev/u/yaeldillies"><img src="https://githubroast.dev/api/badge/yaeldillies" alt="GitHub Roast score badge" /></a>

Flex card

Markdown

[![GitHub Roast](https://githubroast.dev/api/card/yaeldillies)](https://githubroast.dev/u/yaeldillies)

HTML

<a href="https://githubroast.dev/u/yaeldillies"><img src="https://githubroast.dev/api/card/yaeldillies" alt="GitHub Roast" width="600" /></a>