Contributor

Perry E. Metzger

Score (Rank): 38,120 #246,361
Has contributed to: Open-Source Project Rank Score

OCaml 151 31,212

Emacs 1,032 3,628

Coq 247 3,295

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/378232)](https://ossrank.com/c/378232-perry-e-metzger)