TinyGlo+ is compatible with the Digispark Pro. TinyGlo+ is in no way supported, authorized, or made by Digistump.  To upload your own Arduino sketches, please follow these directions to get your computer setup: http://digistump.com/wiki/digispark/tutorials/connectingpro

Additional example:
https://github.com/mikewebkist/vegaedge/tree/tinyglo2