Answer Set Programming Leaderboards - WakaTime - Programming and time tracking leaderboards

Oh Snap! WakaTime needs JavaScript for all the pretty graphs and charts.

Please enable JavaScript in your browser to view the site.

Leaderboard · Answer Set Programming

Hours Coded AI Lines

Rank#	Programmer	AI Lines AI Lines	Top AI Agent Agent	Languages Used
1	@Reasonless	9,089	Codex (9,089)	Java, Text, Kotlin, Markdown, TOML, JSON, Java Properties, Answer Set Programming, Jupyter, …			🇬🇧