safe-tensor

This repository contains several projects:

• The Haskell library safe-tensor for dependently-typed tensor algebra
• A compatibility layer with sparse-tensor: safe-tensor-sparse-tensor-compat
• An example project demonstrating the usage of the safe-tensor library for calculations
• A highly experimental example repl as an attempt to create an interactive application from the library

The repository area-metric-gravity contains a real world application in modified gravity research.