Cryptol is REALLY cool. I followed its genesis from the Haskell community as it was primarily developed at Galois. Cryptol can be compared to Haskell somewhat n

Cryptol is REALLY cool. I followed its genesis from the Haskell community as it was primarily developed at Galois. Cryptol can be compared to Haskell somewhat neatly as similar with a significantly enhanced type system capable of representing more cryptographically important notions. For anyone with an interest in Haskell, security, and/or dependent types it's worth taking a closer look at Cryptol.