categories category-theory julia-language literate-programming mathematics monoids orders

cabal-package category-theory generating-function graph graph-algorithms haskell haskell-library mathematics matrix monoids real-number streams units-of-measurement vector-math