* Cryptol, a language and toolchain for developing and verifying cryptographic algorithms, is implemented in Haskell.
Cryptol, коммерческий язык для разработки и проверки криптографических алгоритмов, реализован на Haskell.