The top open-source alternatives to Arduino TRE
are Arduboy and PlatformIO.
One of the criteria for ordering this list is the number of mentions that products have on reliable external sources.
You can suggest additional sources through the form here.