cryptol

domain-specific language of cryptography

Install

All systems
curl cmd.cat/cryptol.sh
Debian Debian
apt-get install cryptol
Ubuntu
apt-get install cryptol
Arch Arch Linux
pacman -S cryptol
image/svg+xml Kali Linux
apt-get install cryptol
Windows (WSL2)
sudo apt-get update sudo apt-get install cryptol
OS X
brew install cryptol

cryptol

domain-specific language of cryptography

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.