Towers of category constructors

Towers of category constructors

Repository for all packages of the CAP project

Matrices for the homalg project

Julia package for the Singular library

Docker container for external software used by GAP packages

Assist GAP packages in complying with standards

A CAP-Based Package for Gradient-Based Learning

A collection of gap packages for categorical homological algebra with special focus on homotopy categories and derived equivalences

Gap package for polyhedral computations

The CAP and homalg projects compatibility package for Julia

Introduction to Machine Learning Systems

An implementation of the category of ZX-diagrams in CAP

The (skeletal) elementary topos of finite sets

A launch point for your personal nvim configuration

[READ-ONLY-SUBSPLIT] The category of ZX-diagrams in Julia

[READ-ONLY-SUBSPLIT] Category R-pres for CAP in Julia

[READ-ONLY-SUBSPLIT] Formal (co)kernels for additive categories in Julia

[READ-ONLY-SUBSPLIT] Cartesian and cocartesian categories and various subdoctrines in Julia

[READ-ONLY-SUBSPLIT] Elementary toposes in Julia

[READ-ONLY-SUBSPLIT] Monoidal and monoidal (co)closed categories in Julia

[READ-ONLY-SUBSPLIT] Category of Matrices over a Field for CAP in Julia