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)