Cryptolcryptol Active


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
Open new issue
Homepage
https://www.cryptol.net/
Version
2.4.0
Source file
source file
Hits
9

Install Cryptol

brew install cryptol

Dependencies 0

This formula has no dependencies.