Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits
PrototypeCommon

easychen/LeanBase

No description.

Owner
easychen (personal account)
Stars
Stars: 140
Forks
Forks: 6
Language
No language
License
GPL-2.0
Created
2017
Tier
Prototype (100 to 249 ★) What this tier means
View on GitHub

More repos by easychen

All 48 repos by easychen