FpCategories

Last updated:
Downloads last 30 days
7
Downloads last week
6
Downloads last day
0
Total Downloads
Lifetime Growth (cumulative)
Downloads by Region
Dependencies

18 packages (5 direct, 13 transitive)

PackageDepthDownloads
CAP
Direct
62
CartesianCategories
Direct
23
FinSetsForCAP
Direct
21
QuotientCategories
Direct
12
ToolsForCategoricalTowers
Direct
9
AbstractAlgebra
Depth 2
42,631
Nemo
Depth 2
30,721
MatricesForHomalg
Depth 2
28
LinearAlgebraForCAP
Depth 2
24
MonoidalCategories
Depth 2
24
Toposes
Depth 2
15
Preferences
Depth 3
472,379
PrecompileTools
Depth 3
415,550
MacroTools
Depth 3
292,925
RandomExtensions
Depth 3
41,674
FLINT_jll
Depth 3
36,221
SHA
Depth 3
157
TOML
Depth 4
2,158
Dependents

1 package (1 direct) · 6 downloads (last 30 days)

PackageDepthDownloads
FpLinearCategories
Direct
6