Ethereum smart contract fuzzer
Compiler for Elm, a functional language for reliable webapps
Dapp, Seth, Hevm, and more
Shell programming, Haskell style
The Eta Programming Language, a dialect of Haskell on the JVM
foundation of the General Intelligence Operating System