Leaderboard · SMT

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @YikeZhou 2 mins 0 secs C++, Docker, LLVM, CMake, C, Markdown, Python, Text, HTML, … 🇨🇳
2 jet 0 secs 0 secs Scala, Text, Python, TLA, Bash, INI, Java, CSV, SMT