https://github.com/GaloisInc/cryptol

Cryptol: The Language of Cryptography
https://github.com/GaloisInc/cryptol

Last synced: about 2 months ago
JSON representation

Cryptol: The Language of Cryptography

• Host: GitHub
• URL: https://github.com/GaloisInc/cryptol
• Owner: GaloisInc
• License: bsd-3-clause
• Created: 2014-04-17T22:29:10.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2024-05-22T15:25:21.000Z (7 months ago)
• Last Synced: 2024-05-22T15:33:57.351Z (7 months ago)
• Language: Haskell
• Homepage: https://galoisinc.github.io/cryptol/master/RefMan.html
• Size: 72.6 MB
• Stars: 1,114
• Watchers: 53
• Forks: 117
• Open Issues: 235
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGES.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE
  • Code of conduct: CODE_OF_CONDUCT.md

Awesome Lists containing this project

• awesome-starred - GaloisInc/cryptol - Cryptol: The Language of Cryptography (others)