Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 kAIto47802 0 secs 0 secs Python, C++, TeX, Markdown, reStructuredText, Text, YAML, JSON, Lean4, … hireable 🇯🇵