Contributor

Tobias Decking

Overview

Global Rank

#57,205 615,019 points

Project Contributions

Project	Rank	Score
Rust	#419	411,736
Miri	#48	168,384
Crab	#1,034	22,095
ripgrep	#15	10,374
GHC	#612	3,438

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)