homalg project
Repositories of the computer algebra packages relying on the projects homalg and CAP.
Pinned Loading
Repositories
Showing 10 of 94 repositories
- FreydCategoriesForCAP.jl Public
[READ-ONLY-SUBSPLIT] Formal (co)kernels for additive categories in Julia
homalg-project/FreydCategoriesForCAP.jl’s past year of commit activity - FinSetsForCAP.jl Public
[READ-ONLY-SUBSPLIT] The elementary topos of (skeletal) finite sets in Julia
homalg-project/FinSetsForCAP.jl’s past year of commit activity