GITHUB USER
banach-space — GitHub user
banach-space has 4.3k stars across their public GitHub repositories, ranking #7242 globally among GitHub users.
Top repositories
How many GitHub stars does banach-space have?
banach-space has 4.3k stars across their public repositories, ranking #7242 globally.
What is banach-space's most-starred repository?
Their most-starred public repository is iree, with 3.9k stars.
Is banach-space an individual or an organization?
This is an individual GitHub user account.