Contributor

Rudi Grinberg

Overview

Global Rank

#88,265 285,503 points

Project Contributions

Project Rank Score
Doom Emacs #16 143,374
Merlin #12 80,801
Nixpkgs #5,067 33,885
Coq #152 23,681
Homebrew #12,842 3,762

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)