For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You