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?