Fae - A purely functional smart contract system built in Haskell.
github.com