Leaderboard · Dafny · China

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @Phoen1xCode 0 secs 0 secs Markdown, Python, Bash, TOML, Docker, V, C#, JSON, C, … 🇨🇳
Last modified 2026-02-17T01:04:13Z