Contributor

Fourchaux

Score (Rank): 132,331 #130,980
Has contributed to: Open-Source Project Rank Score

OCaml 97 95,337

Coq 140 19,506

Merlin 45 12,066

Rust 5,355 3,850

Crab 4,024 1,491

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/40295)](https://ossrank.com/c/40295-fourchaux)