fossy
Curated FOSS Directory for Community and Discussion
Browse
Submit
Sign in
All contributors
jleder3
1
repo
8
commits
410
stars influenced
View on GitHub
Give Kudos
How would you describe them?
Amazing
Inspiring
Cheers!
Fantastic
Awesome
Brilliant
Legend
Mentor
Wizard
GOAT
Top repos they contribute to (1)
Ranked by their commits
formal-math
Lean
410
8
commits
View project →
Related contributors
People who work on the same repos
eeeasley
1
shared repo
·
11
commits
formal-math
claude
1
shared repo
·
6
commits
formal-math
rfurman
1
shared repo
·
4
commits
formal-math
ecprice-ant
1
shared repo
·
2
commits
formal-math
dependabot[bot]
1
shared repo
·
1
commits
formal-math
Sponsored
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4)
