Projects in Awesome Lists tagged with cryptol
A curated list of projects in awesome lists tagged with cryptol .
https://github.com/dylanmc/CryptoBook
Learning Cryptography, math and programming with Cryptol (and maybe some Python)
cryptography cryptol math programming teaching
Last synced: 11 Jul 2025
https://github.com/hacker-code-j/cryptol-craftcodelab
Mastering the Art of Cryptol Programming
Last synced: 26 Jan 2026
