GitHub repository: nilsalex/safe-tensor
Primary language: Haskell
Description: dependently typed tensor algebra in Haskell