Github Profile Photo
Contributor

Ralf Jung

Overview

Global Rank

#90 137,508,615 points

Social Links

GitHub Activity

Github Profile Stats

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)