Haskell to VHDL/Verilog/SystemVerilog compiler
The full power of R in Haskell
Language, engine, and tooling for testing composable language rules
Mirror of the Glasgow Haskell Compiler
Haskell bindings for TensorFlow
Homomorphic machine learning
dependently typed functional programming language