ghc-scientific/sources