hs-cryptol
3.4.0_1Domain-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.
Origin: security/hs-cryptol
Category: security
Size: 80.6MiB
License: BSD3CLAUSE
Maintainer: yuri@FreeBSD.org
Dependencies: 3 packages
Required by: 0 packages
Website: cryptol.net
$
pkg install hs-cryptolDependencies (3)
More in security
gnutls3.8.12
GNU Transport Layer Security librarypy311-cryptography45.0.7_2,1
Cryptographic recipes and primitives for Python developerslibgcrypt1.11.2
General purpose cryptographic library based on the code from GnuPGlibgpg-error1.58
Common error values for all GnuPG componentsca_root_nss3.117_2
Root certificate bundle from the Mozilla Projectcyrus-sasl2.1.28_5
RFC 2222 SASL (Simple Authentication and Security Layer)libsodium1.0.21
Library to build higher-level cryptographic toolsphp84-filter8.4.16
The filter shared extension for phplibsecret0.21.7_2
Library to access the secret service APIp5-IO-Socket-SSL2.095
Perl5 interface to SSL sockets