fossy
Curated FOSS Directory for Community and Discussion
Top 100
All Projects
Languages
Platforms
Contributors
Articles
Sponsor
Submit
Sign in
All contributors
niketp03
1
repo
5
commits
229
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
229
5
commits
View project →
Sponsored
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)
