fossy
Curated FOSS Directory for Community and Discussion
Browse
Submit
Sign in
All contributors
zibo-yang
1
repo
7
commits
311
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
atlas-lean
Lean
ATLAS Autoformalized Textbook Library At Scale
311
7
commits
View project →
Related contributors
People who work on the same repos
akiezun
1
shared repo
·
234
commits
atlas-lean
niketp03
1
shared repo
·
7
commits
atlas-lean
neelsomani
1
shared repo
·
4
commits
atlas-lean
toskua
1
shared repo
·
3
commits
atlas-lean
Deicyde
1
shared repo
·
2
commits
atlas-lean
VivienCabannes
1
shared repo
·
2
commits
atlas-lean
dependabot[bot]
1
shared repo
·
1
commits
atlas-lean
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)
