GITHUB USER
lava — GitHub user
lava has 5.3k stars across their public GitHub repositories, ranking #5574 globally among GitHub users.
Top repositories
How many GitHub stars does lava have?
lava has 5.3k stars across their public repositories, ranking #5574 globally.
What is lava's most-starred repository?
Their most-starred public repository is matplotlib-cpp, with 4.8k stars.
Is lava an individual or an organization?
This is an individual GitHub user account.