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
Top 7.6% on juliahub.com
22 versions - Latest release: about 1 month ago - 60 dependent packages - 111 stars on GitHub
Functors 0.4.10
Parameterise all the things22 versions - Latest release: about 1 month ago - 60 dependent packages - 111 stars on GitHub
AlgebraicInference 0.17.6
Bayesian inference on wiring diagrams.43 versions - Latest release: 7 months ago - 17 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
Top 3.0% on juliahub.com
87 versions - Latest release: 11 days ago - 18 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: 11 days ago - 18 dependent packages - 5 dependent repositories - 588 stars on GitHub
DirectSum 0.8.11 💰
Tangent bundle, vector space and Submanifold definition46 versions - Latest release: 15 days ago - 4 dependent packages - 49 stars on GitHub
AbstractTensors 0.8.1 💰
Tensor algebra abstract type interoperability setup50 versions - Latest release: 13 days ago - 9 dependent packages - 43 stars on GitHub
AlgebraicRewriting 0.3.2
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.14 versions - Latest release: 2 months ago - 1 dependent package - 20 stars on GitHub
HomalgProject 1.4.0
The homalg project compatibility package for Julia67 versions - Latest release: about 1 month ago - 4 stars on GitHub
Semagrams 0.3.0
A graphical editor for graph-like structures5 versions - Latest release: over 1 year ago - 88 stars on GitHub
Related Keywords
julia
5
type-system
2
linear-algebra
2
tensor-algebra
2
manifolds
2
compositionality
2
math
2
applied-category-theory
2
manifold
2
tensors
1
tensor
1
declarative-programming
1
rewrite-systems
1
homological-algebra
1
homalg
1
oscar
1
homotopy-category
1
gap
1
derived-functor
1
derived-category
1
visualization
1
graph
1
machine-learning
1
functional-programming
1
functors
1
bayesian-inference
1
inference
1
probabilistic-graphical-models
1
bayesian-statistics
1
message-passing
1
relational-databases
1
algebra
1
relational-algebra
1
relational
1
algebraic-structures
1
string-diagrams
1
wiring-diagrams
1
differential-geometry
1
abstract-algebra
1