Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jelly Terra 20 mins 4 mins Rust, Astro, Markdown, Python, Lean 4, Scala, TypeScript, TOML, Kotlin, … 🇨🇳
2 Anonymous User 13 mins 4 mins Lean 4 hireable 🇨🇳