Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language.
Extracted automatically from Cryptol homepage
brew install cryptol
This formula has no dependencies.