Pandas CSV Export
Let's start by importing
Then we're generating a data frame with 100 rows and returning that.
Nextjournal automatically converts a pandas data frame into a CSV. To download it just select click
[…] next to the table and select file, then click the download icon.