Hi, I'm Paolo al-Imkānī Brasolin 👋

I love code and math.

I deeply care aboutmaking things possibleby writing tools that empower people.

That's the motivation behind most of my projects:

• CoDiis asanerLaTeXpackage to draw commutative diagrams.
• fletcher^WIPis a universal transpiler among allLaTeXpackages to draw commutative diagrams.
• многоꙮтехis a CLI tool to contrastPoPand parallelize typesetting aLaTeXdocument for different publications.
• krateris aGitHub repo templatefor setting up math-rich websites in minutes.
• jekyll-antexis aJekyllplugin to embed arbitraryLaTeX.
• jekyll-agdais aJekyllplugin to use literateAgda.
• jekyll-sheafy^WIPis aJekyllplugin to build websites likeStacksandKerodonwithout infrastructure.

Please doget in touch!