cryptol
安装命令
brew install cryptol用于指定加密算法的领域特定语言
许可证： BSD-3-Clause
公式 JSON API： /api/formula/cryptol.json
公式代码： cryptol.rb 在 GitHub 上
提供瓶装（二进制包）安装支持
| Apple Silicon | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| Intel | sonoma | ✅ |
| ventura | ✅ | |
| monterey | ✅ | |
| 64位linux | ✅ | |
当前版本
| 稳定版 | ✅ | 3.1.0 |
| 最新版 | ⚡️ | HEAD |
依赖
| z3 | 4.13.0 | 高性能定理证明器 |
从源码构建时依赖
| cabal-install | 3.12.1.0 | Cabal 和 Hackage 的命令行界面 |
| [email protected] | 9.6.6 | 辉煌的格拉斯哥哈斯克尔编译系统 |
分析
| 安装（30天内） | |
|---|---|
cryptol |
17 |
| 请求安装（30天内） | |
cryptol |
17 |
| 构建错误（30天内） | |
cryptol |
0 |
| 安装（90天内） | |
cryptol |
40 |
| 请求安装（90天内） | |
cryptol |
40 |
| 安装（365天内） | |
cryptol |
427 |
| 请求安装（365天内） | |
cryptol |
427 |
