Contributor

Rudi Grinberg

Overview

Global Rank

#84,263 310,304 points

Project Contributions

Project Rank Score
Doom Emacs #17 148,176
Merlin #12 100,450
Nixpkgs #5,000 34,020
Coq #151 23,933
Homebrew #12,823 3,774

Profile Actions

Is this your profile?

Sign up to claim this profile

Add to your GitHub README.md

[![OSSRank](https://ossrank.com/widget/305380)](https://ossrank.com/c/305380-rudi-grinberg)