I've not written TIC-80 games for like 3 years, but I'm still happy to see it grow. One major advantage (IMO) over PICO-8 is that you're not limited to Lua, and can write games in JavaScript.<p>And since JavaScript implies TypeScript, I once wrote a small tool to automatically build games from .ts files, with functions declarations for the whole API: <a href="https://github.com/scambier/tic80-typescript" rel="nofollow">https://github.com/scambier/tic80-typescript</a><p>I don't use it anymore, but try to keep the declarations up-to-date :)