Cryptolcryptol


Description

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
Homepage
http://www.cryptol.net/
Version
Unavailable

Install Cryptol

brew install cryptol

Dependencies0

This formula has no dependencies.