Use Livebook server to run these .livemd
files.
$ livebook server
[Livebook] Application running at http://localhost:8080/?token=ppp5jh47acgobuhe7qijyj6tpn5lla2n
Open the given link and then .livemd
file you want.
Input can be found in the similarly-named files.