This is a static site generator written in Idris which takes in JSON and Markdown and generates my personal blog.
There are no interesting uses of dependent types involved yet but this has forced me to work on figuring out how to work with Idris dependencies.