Cryptol is a domain-specific programming language for cryptography developed by the Portland, Oregon based software development firm, Galois, Inc. It is free and open-source software released under a BSD 3-clause software license.