cryptol
domain-specific language of cryptography
Install
- All systems
-
curl cmd.cat/cryptol.sh
- Debian
-
apt-get install cryptol - Ubuntu
-
apt-get install cryptol - Arch Linux
-
pacman -S cryptol - Kali Linux
-
apt-get install cryptol - Windows (WSL2)
-
sudo apt-get updatesudo apt-get install cryptol - OS X
-
brew install cryptol - Dockerfile
- dockerfile.run/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.