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.