https://github.com/paolobrasolin/krater

Template to effortlessly build math-rich websites

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/commutative-diagrams

CoDi: Commutative Diagrams for TeX

category-theory commutative-diagrams latex math tikz

Last synced: 06 Apr 2025

https://github.com/paolobrasolin/tex-diciscz

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/string-diagrams

Create string diagrams with LaTeX!

category-theory latex math string-diagrams tikz

Last synced: 06 Apr 2025

https://github.com/paolobrasolin/jekyll-agda

Use literate Agda in your Jekyll website!

Last synced: 06 Apr 2025

https://github.com/paolobrasolin/jekyll-sheafy

Brew your own Stacks Project with Jekyll!

Last synced: 06 Apr 2025

https://github.com/paolobrasolin/math-a11y

Resources for Math Accessibility

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/antex

Last synced: 06 Apr 2025

https://github.com/paolobrasolin/ctan-submit-action

GitHub action for submitting to CTAN

action actions ctan github-action github-actions latex submitter tex validation

Last synced: 06 Apr 2025

https://github.com/paolobrasolin/mnogootex

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

academic-publishing academic-writing latex latexmk parallelization tex

Last synced: 10 Apr 2025

https://github.com/paolobrasolin/setup-texlive-action

GitHub action to setup TeX Live

action actions cross-platform github-action github-actions latex multi-platform tex tex-live texlive

Last synced: 06 Apr 2025

https://github.com/paolobrasolin/topiclongtable

topiclongtable extends longtable with cells that merge hierarchically

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/quantales

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/jekyll-antex

Use arbitrary LaTeX in your Jekyll website!

Last synced: 06 Apr 2025

https://github.com/paolobrasolin/thelema

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/texrhobot

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/big-dict

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/remola

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/fletcher

Universal sourcecode transpiler for commutative diagrams

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/foil

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/tex-ra

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/dependently-typed-metaprogramming

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/.github

My default community health files

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/nix

Last synced: 22 Feb 2025

https://github.com/paolobrasolin/sybs

Last synced: 06 Apr 2025

https://github.com/paolobrasolin/dead-n-espresso

Last synced: 06 Apr 2025

https://github.com/paolobrasolin/akasa

Last synced: 06 Apr 2025

https://github.com/paolobrasolin/dead-thelema

Last synced: 06 Apr 2025

https://github.com/paolobrasolin/kodi-legacy

Last synced: 06 Apr 2025

https://github.com/paolobrasolin/nw

Last synced: 06 Apr 2025

https://github.com/paolobrasolin/dotfiles

Last synced: 06 Apr 2025

https://github.com/paolobrasolin/hakyll-action

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/heroku-buildpack-texlive

This is a Heroku buildpack to setup TeX Live

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/hives

Dashboard for my IoT beehives

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/aspis--travis-ci

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/functorial-gematriya

Not another exercises book in CT

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/bab-dub

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/interlogica__phone

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/ansible_inventory_browser

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/latex-exchange

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/bane_of_life

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/agda-monads

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/exercism

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/telegram

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/beegolow

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/mwe-travis-gitbot

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/opne

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/breaking-thai

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/lugosi

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/tex-billets

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/snips-python

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/tex-cubelet

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/reponise

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/samaya

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/lualatex-prism

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/banyan

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/hata

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/contramonads

Last synced: 06 Mar 2025

https://github.com/paolobrasolin/kleisli-adjoints

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/tex-iching

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/tex-ephemera

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/jekyll-tex-test

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/xody

xoDy

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/sheafy

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/kokyangwuti

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/koshchei

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/paolobrasolin.github.io

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/cv

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/tex-snippets

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/resume

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/teratomaton

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/lean-snippets

My L∃∀N notebook

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/ucsf-thesis

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/focsobot

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/tex-whereami

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/telegram_bot

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/vabeesti

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/tex-sephirot

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/tex-masan

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/notion_icon_swapper

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/pdiof

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/paolobrasolin

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/tex-quilling-grids

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/tex-splitter

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/khatt

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/mwe-travis-texlive

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/tex-ipenama

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/snips-tex

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/hakyll-action-test

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/pythia

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/swagda.nvim

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/blog

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/stysyphus

Last synced: 11 Apr 2025

https://github.com/paolobrasolin/fletcher-demo

Last synced: 11 Apr 2025