Hacker News
- Cryptol: DSL for specifying cryptographic algorithms http://www.cryptol.net/index.html 5 comments
- Cryptol DSL, a tool for writing correct crypto algorithms, is now open-source http://www.cryptol.net/ 24 comments
Lobsters
- Cryptol: The Language of Cryptography https://github.com/GaloisInc/cryptol 2 comments cryptography , haskell
- Cryptol 2.6.0 has been released https://github.com/galoisinc/cryptol/releases/tag/2.6.0 5 comments crypto
- Compose Conference: Cryptography and Verification with Cryptol https://www.youtube.com/watch?v=sC2_5WaavFc 8 comments haskell
- Protecting Ubuntu (12.02) file server from Cryptolocker? https://www.foolishit.com/cryptoprevent-malware-prevention/ 6 comments sysadmin
- Software Analysis Workbench, cousin of Cryptol, is open source http://saw.galois.com/ 5 comments crypto
- Cryptol: a domain-specific language for specifying cryptographic algorithms http://www.cryptol.net 10 comments crypto
- Cryptol - A Domain Specific Language for Implementing Cryptographic Algorithms http://cryptol.net/index.html 11 comments programming
- Open Sourced! Cryptol: A Domain Specific Language for Specifying Cryptographic Algorithms http://cryptol.net/index.html 7 comments haskell
- Cryptol version 2 is now available, and Open Source! https://github.com/galoisinc/cryptol 5 comments crypto
- Cryptol - a domain specific language for cryptography and formal verification - is now open source! http://www.cryptol.net/ 5 comments netsec
- Building a business with Haskell: Case Studies: Cryptol, HaLVM and Copilot http://corp.galois.com/blog/2010/12/10/building-a-business-with-haskell-case-studies-cryptol-halvm-1.html 6 comments coding
- Implementing Rivest's new MD6 algorithm in Cryptol http://www.galois.com/blog/2009/01/23/md6-in-cryptol/ 2 comments haskell
- Cryptol, the NSA's language of cryptography, now available http://www.galois.com/blog/2008/12/24/cryptol-the-language-of-cryptography-now-available/ 2 comments netsec
- Cryptol: a language for the design, implementation and verification of cryptographic algorithms now available http://www.galois.com/blog/2008/12/24/cryptol-the-language-of-cryptography-now-available/ 21 comments programming
- Cryptol: A Domain Specific Language for Cryptography http://www.cryptol.net/ 11 comments programming