Popularity
9.9
Stable
Activity
9.0
Declining
760
83
79

Monthly Downloads: 63
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags: Language    

cryptol alternatives and related packages

Based on the "Language" category

Do you think we are missing an alternative of cryptol or a related project?

Add another 'Language' Package

cryptol Recommendations

There are no recommendations yet. Be the first to promote cryptol!

Have you used cryptol? Share your experience. Write a short recommendation and cryptol, you and your project will be promoted on Awesome Haskell.
Recommend cryptol

Recently added cryptol resources

Do you know of a usefull tutorial, book or news relevant to cryptol?
Be the first to add one!