cryptol

3.6.0

Domain-specific language for specifying cryptographic algorithms

Install

brew install cryptol

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	3.6.0	File SHA-256 `303f6348e97a04a95a8ead0a78a9d7bdbaab60d377083b0a66cc3e382113fba2`
Apple Silicon	Tahoe	3.6.0	File SHA-256 `1e0748ff426bc45146700c63c6a8ea62ae1a6658a8f37edb8c1baced0d9ad864`
Apple Silicon	Sequoia	3.6.0	File SHA-256 `11956f02bd241b63274e4766a199a41ca5af5dd7df1ec039ece66226cc5abb3f`
Apple Silicon	Sonoma	3.6.0	File SHA-256 `53b5ac834ca52aeb3042bb5c9c90a0e9e706e08a846f0c8e4e8a113344182110`
ARM64	Linux	3.6.0	File SHA-256 `92e70eb1a9cbd848f549ff66ae0f402de72cd91f3e17580552dddedba91a1d3b`
x86_64	Linux	3.6.0	File SHA-256 `9f098fca45d638c40553d0bb166fb0a1b3c377d131758047f26b2b9501b604cb`