Nope, they’ve made their own forks of the Arduboy & Arduboy2 libraries:
…and are providing a few pre-compiled hex files, with no licenses (@Pharap) 
Yep, the .hex files aren’t being distrubted with their licences,
so the creators of those games can complain if they want.
Most of the games are from 2016 and I’m not sure their creators still visit the forum, apart from JO3RI.
Their modified version of the Arduboy2 and Arduboy libraries have licences at least.
Also, something more significant, they have a Tetris.hex.
TTC LLC won’t be happy about that if they find out.
1 Like