Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
juliahub.com "category-theory" keyword
AbstractTensors 0.8.1 💰
Tensor algebra abstract type interoperability setup50 versions - Latest release: 24 days ago - 9 dependent packages - 43 stars on GitHub
Semagrams 0.3.0
A graphical editor for graph-like structures5 versions - Latest release: over 1 year ago - 89 stars on GitHub
HomalgProject 1.4.1
The homalg project compatibility package for Julia68 versions - Latest release: 6 days ago - 4 stars on GitHub
AlgebraicRewriting 0.3.3
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.15 versions - Latest release: 8 days ago - 3 dependent packages - 21 stars on GitHub
AlgebraicInference 0.17.6
Bayesian inference on wiring diagrams.43 versions - Latest release: 7 months ago - 17 stars on GitHub
Top 3.0% on juliahub.com
87 versions - Latest release: 22 days ago - 21 dependent packages - 5 dependent repositories - 588 stars on GitHub
Catlab 0.16.9
A framework for applied category theory in the Julia language87 versions - Latest release: 22 days ago - 21 dependent packages - 5 dependent repositories - 588 stars on GitHub
AlgebraicRelations 0.3.1
Relational Algebra, now with more algebra!8 versions - Latest release: over 1 year ago - 47 stars on GitHub
DirectSum 0.8.11 💰
Tangent bundle, vector space and Submanifold definition46 versions - Latest release: 26 days ago - 4 dependent packages - 49 stars on GitHub
Top 7.6% on juliahub.com
22 versions - Latest release: about 1 month ago - 65 dependent packages - 113 stars on GitHub
Functors 0.4.10
Parameterise all the things22 versions - Latest release: about 1 month ago - 65 dependent packages - 113 stars on GitHub
Related Keywords
julia
5
applied-category-theory
2
linear-algebra
2
tensor-algebra
2
manifolds
2
math
2
manifold
2
type-system
2
compositionality
2
bayesian-statistics
1
message-passing
1
wiring-diagrams
1
string-diagrams
1
relational-databases
1
algebra
1
relational-algebra
1
relational
1
algebraic-structures
1
differential-geometry
1
abstract-algebra
1
tensors
1
functors
1
functional-programming
1
machine-learning
1
probabilistic-graphical-models
1
inference
1
bayesian-inference
1
declarative-programming
1
rewrite-systems
1
derived-functor
1
derived-category
1
gap
1
oscar
1
homalg
1
homotopy-category
1
homological-algebra
1
visualization
1
graph
1
tensor
1