jekyll-agda

https://github.com/paolobrasolin/jekyll-agda

This Jekyll plugin allows to you write literate Agda. It will compile your code using Agda itself, producing beautifully highlighted and hyperlinked pages.