CodeVideo - https://github.com/codevideo

Basically, event sourcing for the IDE - build entire software lessons and course videos without actually recording anything.

You can get up and running pretty quickly at our studio https://studio.codevideo.io

Or locally with the CLI tool: https://github.com/codevideo/codevideo-cli