Contributor

Miguel Ojeda

Overview

Global Rank

#12,384 4,877,354 points

Project Contributions

Project	Rank	Score
Linux	#340	4,008,160
Rust	#263	789,455
Crab	#464	76,100
Miri	#305	3,639

Profile Actions

Is this your profile?

Sign up to claim this profile

Add to your GitHub README.md


                    [![OSSRank](https://ossrank.com/widget/151663)](https://ossrank.com/c/151663-miguel-ojeda)