paolobrasolin

Follow

🦁

Paolo Brasolin paolobrasolin

🦁

Follow

46 followers · 42 following

Achievements

Achievements

Organizations

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 Loading

commutative-diagrams commutative-diagrams Public

CoDi: Commutative Diagrams for TeX

TeX 30 3
krater krater Public template

Template to effortlessly build math-rich websites

HTML 39
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 3
antex antex Public

Ruby 7 1
jekyll-antex jekyll-antex Public

Use arbitrary LaTeX in your Jekyll website!

Ruby 3 1