How To Install Cryptol-html In Debian, Ubuntu, Arch, Kali And MacOS?

How To Install Cryptol-html In Debian, Ubuntu, Arch, Kali And MacOS?

cryptol-html

domain-specific language of cryptography

Learn Laravel, React, VueJS and Python
read programming books
Maintainer: Debian Haskell Group
Email: [email protected] .
Website: http://www.cryptol.net/
Section: utils

Install cryptol-html

  • Debian apt-get install cryptol Click to copy
  • Ubuntu apt-get install cryptol Click to copy
  • Arch Linux pacman -S cryptol Click to copy
  • Kali Linux apt-get install cryptol Click to copy
  • macOS brew install cryptol Click to copy

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.

Installing cryptol-html command is simple. just copy one of the above commands for your operating system and paste it into terminal. This command is available for Debian, Ubuntu, Arch, Kali and macOS operating systems. Once you run the command it will install the latest version of cryptol-html 2026 package in your OS.