Contributor

Ralf Jung

Overview

Global Rank

#90 137,508,615 points

Social Links

github.com/RalfJung

GitHub Activity

Project Contributions

Project	Rank	Score
Rust	#3	77,372,904
Miri	#1	43,257,067
Crab	#2	13,102,200
MiniRust	#1	3,419,145
Cargo	#25	338,918
Coq	#60	168,021
LLVM	#1,796	150,384
Bevy	#717	11,295
ICU4X	#80	9,123
Hyper	#177	4,848
Discourse	#772	3,623
Kate	#417	3,147
Thunderbird	#38	1,476
ripgrep	#148	1,449

Profile Actions

Is this your profile?

Sign up to claim this profile

Add to your GitHub README.md


                    [![OSSRank](https://ossrank.com/widget/179518)](https://ossrank.com/c/179518-ralf-jung)