| | Cryptol – The Language of Cryptography (cryptol.net) |
| 1 point by anchpop on May 23, 2021 | past |
|
| | Cryptol – domain-specific language for specifying cryptographic algorithms (cryptol.net) |
| 3 points by pabs3 on May 5, 2021 | past |
|
| | Cryptol: A domain-specific language for cryptography (cryptol.net) |
| 2 points by da_big_ghey on Jan 21, 2021 | past |
|
| | Cryptol: A DSL for specifying cryptography algorithms (cryptol.net) |
| 2 points by QuinnWilton on Dec 11, 2020 | past |
|
| | Cryptol: The Language of Cryptography (cryptol.net) |
| 1 point by chungy on Aug 12, 2018 | past |
|
| | Cryptol – a statically typed functional language for cryptography (cryptol.net) |
| 3 points by lisper on Jan 6, 2016 | past | 1 comment |
|
| | Cryptol: DSL for specifying cryptographic algorithms (cryptol.net) |
| 50 points by xkarga00 on May 23, 2015 | past | 5 comments |
|
| | Cryptol – The Language of Cryptography (cryptol.net) |
| 2 points by vilda on Nov 7, 2014 | past |
|
| | Cryptol DSL, a tool for writing correct crypto algorithms, is now open-source (cryptol.net) |
| 181 points by carterschonwald on April 24, 2014 | past | 24 comments |
|
