https://github.com/paolobrasolin/paolobrasolin

https://github.com/paolobrasolin/paolobrasolin

Last synced: 25 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/paolobrasolin/paolobrasolin
• Owner: paolobrasolin
• Created: 2022-01-20T20:39:48.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2023-03-14T08:25:46.000Z (almost 2 years ago)
• Last Synced: 2024-11-06T00:42:59.893Z (2 months ago)
• Size: 4.88 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        


### Hi, I'm Paolo al-Imkānī 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**][commutative-diagrams-url] is a [saner][standards-url] [LaTeX][latex-url] package to draw commutative diagrams.

- [**`fletcher`**][fletcher-url]WIP is a universal transpiler among all [LaTeX][latex-url] packages to draw commutative diagrams.

- [**многоꙮтех**][mnogootex-url] is a CLI tool to contrast [PoP][pop-url] and parallelize typesetting a [LaTeX][latex-url] document for different publications.

- [**`krater`**][krater-url] is a [GitHub repo template][gh-repo-template-url] for setting up math-rich websites in minutes.

- [**`jekyll-antex`**][jekyll-antex-url] is a [Jekyll][jekyll-url] plugin to embed arbitrary [LaTeX][latex-url].

- [**`jekyll-agda`**][jekyll-agda-url] is a [Jekyll][jekyll-url] plugin to use literate [Agda][agda-url].

- [**`jekyll-sheafy`**][jekyll-sheafy-url]WIP is a [Jekyll][jekyll-url] plugin to build websites like [Stacks][stacks-url] and [Kerodon][kerodon-url] without infrastructure.

[commutative-diagrams-url]: https://github.com/paolobrasolin/commutative-diagrams

[mnogootex-url]: https://github.com/paolobrasolin/mnogootex

[fletcher-url]: https://github.com/paolobrasolin/fletcher

[krater-url]: https://github.com/paolobrasolin/krater

[jekyll-antex-url]: https://github.com/paolobrasolin/jekyll-antex

[jekyll-agda-url]: https://github.com/paolobrasolin/jekyll-agda

[jekyll-sheafy-url]: https://github.com/paolobrasolin/jekyll-sheafy

[standards-url]: https://xkcd.com/927/

[latex-url]: https://www.latex-project.org/

[pop-url]: https://en.wikipedia.org/wiki/Publish_or_perish

[gh-repo-template-url]: https://docs.github.com/en/repositories/creating-and-managing-repositories/creating-a-repository-from-a-template

[jekyll-url]: https://jekyllrb.com/

[agda-url]: https://wiki.portal.chalmers.se/agda/pmwiki.php

[stacks-url]: https://stacks.math.columbia.edu/

[kerodon-url]: https://kerodon.net/

Please do [get in touch][linktree-url]!

[linktree-url]: https://linktr.ee/paolo.brasolin