fossy
Curated FOSS Directory for Community and Discussion
Browse
Submit
Sign in
All contributors
niketp03
1
repo
5
commits
291
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
291
5
commits
View project →
Related contributors
People who work on the same repos
VivienCabannes
1
shared repo
·
2
commits
atlas-lean
Sponsored
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)
