These are my Arduboy projects, releases, source code and installation instructions will be hosted on Gitea.
Source code will be in .ino form because that's what Arduino IDE uses.
Releases will be in .hex form for easy uploading to your Arduboy.