Contributor

Fourchaux

Overview

Global Rank

#133,584 128,409 points

Project Contributions

Project Rank Score
OCaml #100 94,473
Coq #159 20,370
Merlin #58 8,188
Rust #5,421 3,854
Crab #3,975 1,518

Profile Actions

Is this your profile?

Sign up to claim this profile

Add to your GitHub README.md

[![OSSRank](https://ossrank.com/widget/40295)](https://ossrank.com/c/40295-fourchaux)