Source: wikibot/cryptol
= Cryptol
{wiki=Cryptol}
Cryptol is a domain-specific programming language designed for specifying and verifying cryptographic algorithms and protocols. Developed by Galois, Inc., Cryptol provides a rich set of features that facilitate the formal analysis of cryptographic constructs. Its main purpose is to help engineers and researchers write cryptographic code that is both correct and efficient.