Formula
cryptol
Domain-specific language for specifying cryptographic algorithms
- Version
- 3.5.0
- License
- BSD-3-Clause
- Installs (30 days)
- 19
- Tags
- cryptography
brew install cryptolFormula
Domain-specific language for specifying cryptographic algorithms
brew install cryptol