• tamarin-prover/tamarin-prover
• The x509 package
• haskell-crypto/cryptonite
• GaloisInc/cryptol
• GaloisInc/haskell-tor
• Cryptography and Verification with Cryptol
• Computing Cryptographic Hashes for Cyclic Dependencies
• grkuntzmd/zxcvbn-Haskell
• Secure Shared Credentials
• cpeikert/Lol - A library for ring-based lattice cryptography
• timbod7/secretfs - A FUSE file system that interpolates secret information
• GaloisInc/saw-script - saw-script/doc/tutorial/tutorial.md
• Piyush P Kurur|Adventures in optimising ChaCha20 for Raaz.
• Episode 11 - Austin Seipp on Security - The Haskell Cast
• centromere/cacophony: A Haskell library implementing the Noise protocol.
• Cryptographic Hashing in Haskell
• SPAKE2 in Haskell: How Haskell Helped - jml :: Jonathan Lange
• On the state of cryptography in Haskell – www.leonmergen.com
• Haskell で暗号学的ハッシュを扱う (和訳) - Qiita
• Secure Password Storage in Go, Python, Ruby, Java, Haskell, and NodeJS