サクサク読めて、アプリ限定の機能も多数!
" domain-specific language for specifying cryptographic algorithms."
igrep のブックマーク 2017/10/05 18:53
Cryptol[暗号]" domain-specific language for specifying cryptographic algorithms."2017/10/05 18:53
" domain-specific language for specifying cryptographic algorithms."
このブックマークにはスターがありません。 最初のスターをつけてみよう!
cryptol.net2014/04/25
What is Cryptol? Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than a...
20 人がブックマーク・4 件のコメント
\ コメントが サクサク読める アプリです /
" domain-specific language for specifying cryptographic algorithms."
igrep のブックマーク 2017/10/05 18:53
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Cryptol
cryptol.net2014/04/25
What is Cryptol? Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than a...
20 人がブックマーク・4 件のコメント
\ コメントが サクサク読める アプリです /