https://github.com/LivelyKernel/lively4-core
https://lively-kernel.org/lively4/lively4-core/start.html
?