I saw in the title of another video by the same author, they're using TidalCycles.

> Live coding music with algorithmic patterns

https://tidalcycles.org/