STARSL:
https://starsl.com/index.html