fossy
Curated FOSS Directory for Community and Discussion
Browse
Submit
Sign in
All contributors
tristan-f-r
1
repo
19
commits
67
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
combinatorial-games
Lean
Combinatorial game library in Lean 4
67
19
commits
View project →
Related contributors
People who work on the same repos
vihdzp
1
shared repo
·
290
commits
combinatorial-games
plp127
1
shared repo
·
42
commits
combinatorial-games
astrainfinita
1
shared repo
·
8
commits
combinatorial-games
kim-em
1
shared repo
·
2
commits
combinatorial-games
alreadydone
1
shared repo
·
1
commits
combinatorial-games
YanYablonovskiy
1
shared repo
·
1
commits
combinatorial-games
Sponsored
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)
