Contributor

Tobias Decking

Overview

Global Rank

#57,887 605,748 points

Project Contributions

Project Rank Score
Rust #433 396,653
Miri #51 173,760
Crab #1,027 22,650
ripgrep #15 9,282
GHC #609 3,403

Profile Actions

Is this your profile?

Sign up to claim this profile

Add to your GitHub README.md

[![OSSRank](https://ossrank.com/widget/722589)](https://ossrank.com/c/722589-tobias-decking)