Contributor

Tobias Decking

Overview

Global Rank

#65,943 485,110 points

Project Contributions

Project Rank Score
Rust #487 333,906
Miri #75 120,450
Crab #1,011 22,755
ripgrep #35 4,539
GHC #609 3,330

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)