gravica

gravica is a General Relativity computation library built on Symbolica.

It provides a pipeline of tensor classes that lazily compute differential-geometry objects from a metric tensor:

MetricTensor → ChristoffelSymbols → RiemannTensor → RicciTensor → EinsteinTensor / WeylTensor
                      ↓                   ↓              ↓              ↓
               GeodesicEquations   KretschnerScalar  SchoutenTensor  StressEnergyTensor