Universal markup converter

A static website compiler library in Haskell

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

Pandoc filter for cross-references

Emanate a structured view of your plain-text notes

A formal logic framework that runs in the browser

OAuth2 authentication for yesod

A few extra pandoc filters for academic writing (internal table/figure references, sideways, ...)