tag:blogger.com,1999:blog-3335175720102608134.post8465650687196965259..comments2024-01-18T00:59:52.237-08:00Comments on Christos military and intelligence corner: Codebreaking software for classical ciphersChristos T.http://www.blogger.com/profile/04246906263926130737noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-3335175720102608134.post-76251756801248943652014-10-05T15:13:20.445-07:002014-10-05T15:13:20.445-07:00https://github.com/GaloisInc/cryptol/tree/master/e...https://github.com/GaloisInc/cryptol/tree/master/examples Cryptol is a good programming language, based on haskell.Ryanhttps://www.blogger.com/profile/11784405906174658860noreply@blogger.com