cryptol 2.8.0-1build5.1 (armhf binary) in ubuntu impish

 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.