[ ソース: 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 関連パッケージ
|
|
|
|