Domain-specific language for specifying cryptographic algorithms
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.
$
pkg install hs-cryptolOrigin
security/hs-cryptol
Size
80.6MiB
License
BSD3CLAUSE
Maintainer
yuri@FreeBSD.org
Dependencies
3 packages
Required by
0 packages