Shameless plug, but with Nextjournal you can use git directly: https://github.nextjournal.com/ https://github.nextjournal.com/ And apart from that, we have a n

Shameless plug, but with Nextjournal you can use git directly: https://github.nextjournal.com/ https://github.nextjournal.com/ And apart from that, we have a normal github component to load your code from a github repository: https://nextjournal.com/help/github https://nextjournal.com/help/github