全部搜索项
[  buster  ] [  bullseye  ] [  sid  ]
[ 源代码：  ]

软件包：cryptol（2.8.0-1 以及其他的） [debports]

cryptol 的相关链接

Screenshot

Debian 的资源：

下载源码包 ：

未找到

维护小组：

外部的资源：

相似软件包：

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 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • 增强

下载 cryptol

下载可用于所有硬件架构的
硬件架构 版本 软件包大小 安装后大小 文件
alpha （非官方移植版） 2.8.0-1+b2 7,320.8 kB71,742.0 kB [文件列表]