Justus Sagemüller

Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds

leftaroundabout

Interactive windows for displaying Haskell-generated diagrams

leftaroundabout

Purely-functional, coordinate-free linear algebra

leftaroundabout

Coordinate-free hypersurfaces as Haskell types

leftaroundabout

Convenient Haskell syntax for writing in LaTeX math expressions

leftaroundabout

A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.

leftaroundabout