Cryptol

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

Cryptol

Developer	Galois, Inc.
First appeared	1980; 45 years ago (1980)
Stable release	3.2.0 / August 20, 2024; 9 months ago (2024-08-20)
Implementation language	Haskell, Python
Platform	AArch64, x86-64
OS	Linux, macOS, Windows
License	BSD 3-clause
Website	www.cryptol.net

The language was originally developed for use by the United States National Security Agency.^[1][3] The language is also used by private firms that provide information technology systems, such as the American company Rockwell Collins provides to aerospace and defense contractors in the United States.^[1]

The programming language is used for all aspects of developing and using cryptography, such as the design and implementation of new ciphers and the verification of existing cryptographic algorithms.^[1][2][4] Cryptol is designed to allow a cryptographer to watch how stream processing functions in the program manipulate ciphers or encryption algorithms.^[2]