- Score (Rank)
- 44,280 #233,946
- Github Profile Stats
-
- Links
- Has contributed to
-
Open-Source Project Rank Score Coq 141 20,064 Cargo 472 14,056 Neovim 874 3,769 SciPy 1,156 3,722 Jupyter Notebook 436 2,669
If this is your profile, you can copy the following line into your Github README.MD to show your OSSRank stats as an embedded widget
[](https://ossrank.com/c/423082-mseri)