Contributor

Tobias Decking

Overview

Global Rank

#65,793 485,919 points

Project Contributions

Project	Rank	Score
Rust	#486	333,906
Miri	#76	120,747
Crab	#1,008	22,815
ripgrep	#33	5,001
GHC	#610	3,390

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)