Skip to content

cryptol

Cryptol: The Language of Cryptography

Install from the command line
Learn more about packages
$ docker pull ghcr.io/galoisinc/cryptol:nightly

Recent tagged image versions

  • nightly
    Published about 18 hours ago · Digest
    sha256:d576b30d141739b7123501b502917462243f8b2fdb0804874d254fc1e0f644c9
    1 Version downloads
  • latest 3.1.0
    Published 4 months ago · Digest
    sha256:8f24b61ed5d48ba15915299ef9a128aef2e7d406ea2e48ce3a329e92494bade7
    106 Version downloads
  • 3.0.0
    Published 12 months ago · Digest
    sha256:baa7ac64015e815a7530925fae70317497ea8e6b908f9d39239b3422f4f82d51
    316 Version downloads
  • 2.13.0
    Published about 2 years ago · Digest
    sha256:df4292f12424c4519ab75c922213682c8e5276faa0d1391b4064de1a99849f86
    168 Version downloads
  • 2.12.0
    Published over 2 years ago · Digest
    sha256:a156275d3351cd32a17f5736dd09a22a1fb0990591085fd8f110658b3201b8ec
    240 Version downloads
View all tagged versions

Details

Last published

18 hours ago

Discussions

2

Issues

234

Total downloads

3.78K

Collaborators 5