| Jutho/TensorKit.jl |
158 |
|
0 |
0 |
about 2 years ago |
0 |
|
15 |
mit |
Julia |
| A Julia package for large-scale tensor computations, with a hint of category theory |
| chakravala/DirectSum.jl |
48 |
|
0 |
0 |
over 2 years ago |
0 |
|
4 |
agpl-3.0 |
Julia |
| Tangent bundle, vector space and Submanifold definition |
| chakravala/AbstractTensors.jl |
42 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
mit |
Julia |
| Tensor algebra abstract type interoperability setup |
| neko-kai/fp-dictionary |
24 |
|
0 |
0 |
over 7 years ago |
0 |
|
0 |
|
|
| FP category theory jargon explained on a single A4 page |
| sellout/haskerwaul |
16 |
|
0 |
0 |
over 3 years ago |
0 |
|
0 |
gpl-3.0 |
Haskell |
| Category theory concepts in type classes and instances. |
| FabianMaeurer/TensorCategories.jl |
7 |
|
0 |
0 |
about 2 years ago |
0 |
|
2 |
|
Julia |
| Category Theory Framework |
