Contributor

Eduardo Sánchez Muñoz

Overview

Global Rank

#23,486 2,344,116 points

Project Contributions

Project	Rank	Score
Rust	#179	1,473,792
Miri	#19	810,522
Crab	#624	45,510
GHDL	#27	14,160

Profile Actions

Is this your profile?

Sign up to claim this profile

Add to your GitHub README.md


                    [![OSSRank](https://ossrank.com/widget/354114)](https://ossrank.com/c/354114-eduardo-sanchez-munoz)