Contributor

Eduardo Sánchez Muñoz

Overview

Global Rank

#23,372 2,358,492 points

Project Contributions

Project Rank Score
Rust #178 1,491,498
Miri #19 809,634
Crab #635 45,180
GHDL #28 14,844

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)