A comprehensive and searchable database of categories and their properties

Typst package for drawing diagrams with arrows, built on top of CeTZ.

Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

A digital archive of category theory papers.

Triple, quadruple, and n-fold paths and arrows with TikZ

Archive of the categories mailling list

Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data

papers of Per Martin Löf

R*-tree spatial index for the Rust ecosystem

Commutative diagrams with TikZ

A simple visual editor for creating commutative diagrams.

Run experiments across parts of the Rust ecosystem!

Empowering everyone to build reliable and efficient software.

Extension for Visual Studio Code which can be used to jump to a source code line in Github, Bitbucket, GitLab and Visualstudio.com

Move code left or right with a distance of one whitespace.

Javascript Siteswap Animator