🎨 Enhance Tailwind CSS with tagged combinators for precise child and descendant variant filtering, streamlining your styling workflow while maintaining flexibility.

Dyadic Framework

A higher-order computing system

The Python toolkit for computing with string diagrams.

Learning platform for category theory in python

Mechanized classifications of 2-groups

A framework for applied category theory in the Julia language

When Intelligence Avengers meet Artificial Intelligence. Dignity as a Topos — A Categorical Protocol for Structural Existentialism in the AI Era.

Rustica is a functional programming library for the Rust language.

Towers of category constructors

Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda

My personal website. I am a PhD student in Mathematics at the University of Leicester, UK. I am interested in Category Theory and its applications to Algebraic Topology and Algebraic Geometry. My main research area are stacks and their cohomology theories.

Luca Mesiti's website. My main research interests are category theory and its applications to algebra, geometry and logic.

A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration

The agda-unimath library

AIΩN Foundations Paper I – WARP Graphs: A Worldline Algebra for Recursive Provenance

AIΩN Foundations Paper II – WARP Graphs: Canonical State Evolution and Deterministic Worldlines

Categorical foundations for AI meta-prompting with proven correctness and measurable quality improvements (100% on Game of 24)

Parameterise all the things

Scala Cats book exercises