Dockerfile linter, validate inline bash, written in Haskell
Tensors and neural networks in Haskell
The full power of R in Haskell
A modern proof language
Haskell bindings for TensorFlow
Project management directly from the TODOs in your codebase
Another Haskell web framework for rapid development