Popular repositories Loading

1. manifolds manifolds Public

   Coordinate-free hypersurfaces as Haskell types

   Haskell 39 2

2. Symbolic-math-HaTeX Symbolic-math-HaTeX Public

   Convenient Haskell syntax for writing in LaTeX math expressions

   Haskell 28 3

3. linearmap-family linearmap-family Public

   Purely-functional, coordinate-free linear algebra

   Haskell 26 2

4. constrained-categories constrained-categories Public

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

   Haskell 20 6

5. dumb-cas dumb-cas Public

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

   Haskell 16 1

6. dynamic-plot dynamic-plot Public

   Interactive windows for displaying Haskell-generated diagrams

   Haskell 15 2