## 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.