Leaderboard · F*

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Punyo 4 mins 0 secs C++, Python, TeX, Markdown, JSON, Git Config, Smali, XML, Bash, … 🇯🇵
2 @HCLonely 3 mins 1 min MATLAB, Fortran, YAML, Markdown, F*, JSON
3 Lucas Barbosa 0 secs 0 secs Python, Bash, TeX, Text, SQL, TypeScript, YAML, JSON, Markdown, … 🇧🇷
Last modified 2025-12-16T08:48:04Z