Contributor

Kazuhiko Sakaguchi

Score (Rank): 189,497 #108,615
Has contributed to: Open-Source Project Rank Score

Coq 56 164,788

Nixpkgs 5,566 22,662

Pygments 484 2,047

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/widget/666834)](https://ossrank.com/c/666834-kazuhiko-sakaguchi)