cryptol

Domain-specific language for specifying cryptographic algorithms

Current versions:
2.5.0HEAD

Homepage:https://www.cryptol.net/

Dependencies

cryptol requires the following formulae to be installed:

Formula history

ilovezfscryptol: depend on ghc (#16120)
ilovezfscryptol: depend on ghc@8.0
ilovezfscryptol 2.5.0
ilovezfscryptol: fix incompatibility with sbv >= 5.15
Viktor Szakatscryptol: secure url(s)
Mike McQuaidUse hash rockets again. (#5177)
Mike McQuaidUse Ruby 1.9+ symbol hash keys in all formulae. (#4942)
ilovezfscryptol 2.4.0
Misty De Meocryptol: sbv fixes have been upstreamed
ilovezfscryptol: GHC 8 compatibility
Show all revisions of this formula