Hubble HST scheduling algorithm
There is apparently an option on the STSI (Space Telescope Science Institure) website to try their Spike implementation.

This doesn't clearly answer your question, as it's not open, and I don't know the language that has been used.

However, there is a lot of information in the documents you provided and on the linked website, so maybe you can start your own implementation of the algorithm? I'd be happy to help!