Dockerfile linter, validate inline bash, written in Haskell
Applicative option parser
Tensors and neural networks in Haskell
The full power of R in Haskell
A statically typed concatenative systems programming language
Higher-order, no-boilerplate monads
A modern proof language
Haskell bindings for TensorFlow
Another Haskell web framework for rapid development