Very late news but, VVVVVV went open source, definitely not 'libre' but still cool.

https://github.com/TerryCavanagh/VVVVVV