Cryptol

Cryptol is an open-source license tool, initially designed to be used by the NSA, targeting cryptographic algorithms. Cryptol can show how algorithms operate in programs that specify the ciphers or algorithms.