The main goal of this discussion is to get Supertux to the main repository, but that will take a while.
On Known Repositories there is a list of other repositories. There isn’t a special one for Supertux, but maybe IzzyOnDroid have a Supertux binary not compiled by F-Droid.