Прикладной язык программирования Cryptol, разработанный фирмой Galois для агентства национальной безопасности США, много лет был доступен только специалистам закрытых структур и использовался, например, компанией Rockwell Collins при разработке военных радиостанций. Он позволяет создавать спецификации для алгоритмов шифрования, сравнивать и тестировать их и генерировать код поддержки на VHDL, Си/С++ и Haskell. В декабре 2008 г. опубликована бесплатная ограниченная версия Cryptol для Windows, Linux и Mac OS X, включающая интерпретатор языка — она доступна на сайте разработчика.