Leaderboard · Agda · Poland

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @ggod 26 mins 3 mins TypeScript, JavaScript, C++, Markdown, RGBDS Assembly, Eiffel, Elixir, Agda, VB.NET, … 🇵🇱
Last modified 2026-03-04T17:02:16Z