tetrapharmakon

yoneda-in-tongues

Yoneda lemma in every known language

yoneda-ontology

Yoneda lemma, homotopy and ontology

tetrapharmakon.github.io

bullex

A TeXy bullet journal

compositionality-latex-template

The Compositionality article class.

itaca-preambolo

mycv

a template for a cv that does not make your eyes bleed infectious spores

species

teofanie

agda-categories

A new Categories library for Agda

agda-stdlib

The Agda standard library

alta-typst

A simple Typst CV template, inspired by AltaCV by LianTze Lim.

awesome-double-categories

A list of works and resources about double category theory, with a particular focus on applications.

beda-venerabilis

bib

CatArts

categorical-automata

Bicategories of automata, completeness of F-automata in monoidal categories

edron

fouche

habib

My beloved bib parser

itaca

kagoshima-banner

mat

me-myself

model-bi

monmonmon

Monads in monads in monads in monads in monads in...

resume

string-diagrams

tex-images

thesis