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