Pinned Repositories
beamonad
A Yesod-based server for screen presentations. Somewhat like LaTeX Beamer, but interactive.
constrained-categories
Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
dumb-cas
A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
dynamic-plot
Interactive windows for displaying Haskell-generated diagrams
free-vector-spaces
Instantiate the classes from the vector-space package with the types from linear
linearmap-family
Purely-functional, coordinate-free linear algebra
manifolds
Coordinate-free hypersurfaces as Haskell types
Symbolic-math-HaTeX
Convenient Haskell syntax for writing in LaTeX math expressions
trivial-constraint
A haskell typeclass that includes ALL types.
uncertainly-haskell
Uncertainty propagation of values such as physical measurements or approximate computations
leftaroundabout's Repositories
leftaroundabout/manifolds
Coordinate-free hypersurfaces as Haskell types
leftaroundabout/linearmap-family
Purely-functional, coordinate-free linear algebra
leftaroundabout/Symbolic-math-HaTeX
Convenient Haskell syntax for writing in LaTeX math expressions
leftaroundabout/constrained-categories
Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
leftaroundabout/dumb-cas
A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
leftaroundabout/dynamic-plot
Interactive windows for displaying Haskell-generated diagrams
leftaroundabout/beamonad
A Yesod-based server for screen presentations. Somewhat like LaTeX Beamer, but interactive.
leftaroundabout/trivial-constraint
A haskell typeclass that includes ALL types.
leftaroundabout/free-vector-spaces
Instantiate the classes from the vector-space package with the types from linear
leftaroundabout/goedel-trees
Bijections between structured data and numbers
leftaroundabout/pragmatic-show
More concise alternative to the standard Haskell `Show` class
leftaroundabout/colour-space
Colours form a manifold, in which inter-/extrapolation is guaranteed to stay in the gamut.
leftaroundabout/IHaskell-tables
Easy pretty-printing of tabular-like Haskell data in Jupyter
leftaroundabout/monotone-path
leftaroundabout/spatial-rotations
Rotations of points, functions etc. around any axis
leftaroundabout/ablation-paths-pytorch
Code to the paper "Ablation Path Saliency"
leftaroundabout/arrayfire-haskell
Haskell bindings to ArrayFire
leftaroundabout/batchoptimisable-data
Data that can be processed fast on e.g. GPUs
leftaroundabout/cublas
Haskell FFI bindings to CUDA BLAS library
leftaroundabout/decimal-literals
Heuristics for interpreting Haskell float literals with the correct precision
leftaroundabout/diagrams-core
Core types and utilities
leftaroundabout/diagrams-gi-cairo
Port of diagrams-cairo to haskell-gi
leftaroundabout/HaTeX
LaTeX code writer
leftaroundabout/infdim-function-spaces
Infinite-dimensional vector spaces representing smooth functions
leftaroundabout/kmonad
An advanced keyboard manager
leftaroundabout/numbered-semigroups
Composing Haskell values in multiple spatial directions.
leftaroundabout/odl
Operator Discretization Library https://odlgroup.github.io/odl/
leftaroundabout/pandoc-types
types for representing structured documents
leftaroundabout/quickcheck
Automatic testing of Haskell programs.
leftaroundabout/uninhabited
Class for Haskell types containing no values