GitHub repository: soimort/idris-commonmark
Primary language: Idris
Description: Idris wrapper for jgm's Markdown parser