cryptol
Cryptol: The Language of Cryptography
BSD-3-CLAUSE License
Downloads
667
Stars
1.1K
Ecosystems:
Haskell
Issue Statistics
Past Year
All Time
Total Pull Requests
64
194
Merged Pull Requests
55
169
Total Issues
99
185
Time to Close Issues
16 days
2 months
Package Rankings
Top 8.17% on Proxy.golang.org
Top 8.38% on Pypi.org
Badges
Extracted from project README
