This page is generated automatically from @tobi's public GitHub activity. It is not run, verified or endorsed by @tobi or by GitHub, and DevTrack never asks for a GitHub password.
Unclaimed profile
If you are @tobi, sign in with GitHub as @tobi to claim it: join the leaderboard, keep your 62,895 XP and tier, count private contributions, and get README badges. Only the owner of the GitHub account can claim it.
Built from public GitHub data and refreshed every few hours. Not affiliated with @tobi.
try - fresh directories for every vibe. Your experiments deserve a home. 🏠
NetHack as-a-library. Semantic world exploration engine.