paolobrasolin

Follow

🦁

Paolo Brasolin paolobrasolin

🦁

Follow

44 followers · 41 following

Achievements

BetaSend feedback

Achievements

BetaSend feedback

Organizations

Block or Report

Block or report paolobrasolin

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

paolobrasolin/README.md

Hi, I'm Paolo al-Imkānī Brasolin 👋

I love code and math.

I deeply care about making things possible by writing tools that empower people.

That's the motivation behind most of my projects:

CoDi is a saner LaTeX package to draw commutative diagrams.
fletcher^WIP is a universal transpiler among all LaTeX packages to draw commutative diagrams.
многоꙮтех is a CLI tool to contrast PoP and parallelize typesetting a LaTeX document for different publications.
krater is a GitHub repo template for setting up math-rich websites in minutes.
jekyll-antex is a Jekyll plugin to embed arbitrary LaTeX.
jekyll-agda is a Jekyll plugin to use literate Agda.
jekyll-sheafy^WIP is a Jekyll plugin to build websites like Stacks and Kerodon without infrastructure.

Please do get in touch!

Pinned

commutative-diagrams commutative-diagrams Public

CoDi: Commutative Diagrams for TeX

TeX 28 3
krater krater Public template

Template to effortlessly build math-rich websites

HTML 38
mnogootex mnogootex Public

Mnogootex (многоꙮтех) simplifies and parallelizes compilation of a TeX document with multiple classes.

Ruby 5
setup-texlive-action setup-texlive-action Public

GitHub action to setup TeX Live

3 2
antex antex Public

Ruby 6
jekyll-antex jekyll-antex Public

Use arbitrary LaTeX in your Jekyll website!

Ruby 2