strudel
https://strudel.cc/workshop/getting-started/