The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.

CAP project -- Categories, Algorithms, and Programming

Deposited packages of the homalg project

Comprehensive open source book on basic topology, smooth manifolds, differential geometry, Lie theory, homological algebra, and index theory.

Notes for the lecture course “Foundations in Representation Theory”.

A GAP framework for categorical homological algebra with special focus on homotopy categories and tilting equivalences

The homalg project compatibility package for Julia

Equivalent definitions of flatness

A rewrite of the Quiver frontend to use Bootstrap CSS so that it can be used as a diagram editor on all platforms having a web browser.

Typst Lecture Notes for University of Oxford course C2.2 Homological Algebra (Michaelmas, 2023-24)

Homological Algebra

Chain complexes in Julia

My math publications

A short seminar I gave in Padova, in January 2020, dealing with the proof of De Rham theorem for singular and De Rham cohomology.

Notes on condensed mathematics

An algorithm that computes the twisted L^2-Euler characteristic.

Program (still in progress) for calculating resolutions of modules over the truncated Steenrod algebra 𝓐(1) at p = 2.