Vixen and XLights are both out there but you will find they are very different animals than what you were familiar with back in the day. Most of the world has moved to nodes or what we called smart strings and the power needed to create shows with them makes the software a bit harder to use and learn. It will still work with single channel props but it is a bit more confusing.