While tracking down projects written in Rust I bumped into the GitHub profile of Juan Camilo Sánchez Urrego.
He has github readme stats and another stats widget showing the languages used. I tried the latter for myself and it seemed to be way off.
He has many Shields badges
And also a widget from Daily.dev
Now I wonder are there widgets provided by DEV.to that could be added to GitHub profiles?