Registry / security / cryptol

cryptol

JSON →
cli3.5.0pypiunverified

Domain-specific language for specifying cryptographic algorithms. Available on Homebrew and apt.

brew install cryptol
INSTALL
IMPORT
SIG · CRYPTOL
C
cryptol
securityhaskellv3.5.0
harness data pending
Install & Compatibility
Where this runs

No compatibility data collected yet for this library.

Code
Verified usage
Debug
Known issues

No known issues recorded.

Upgrade
Version history
3.5.0latest on PyPI · released Jan 28, 2026
Audit
Dependencies

No dependency data recorded yet.

Agent activity
21 hits · last 30 days
node
20
Resources
cryptol — pip install cryptol · libregistry