[ 源代码： haskell-cryptol ]
软件包：cryptol（2.8.0-1 以及其他的）
cryptol 的相关链接
Debian 的资源：
下载源码包 haskell-cryptol：
- [haskell-cryptol_2.8.0-1.dsc]
- [haskell-cryptol_2.8.0.orig.tar.gz]
- [haskell-cryptol_2.8.0-1.debian.tar.xz]
维护小组：
外部的资源：
- 主页 [www.cryptol.net]
相似软件包：
domain-specific language of cryptography
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.
其他与 cryptol 有关的软件包
|
|
|
|