Thanks for the links! There is also Upkie: https://github.com/upkie/upkie