Bookmarks

dlat: cryptography* + haskell*

1 bookmark(s) - Sort by: Date ↓ / Title / - Bookmarks from other users for this tag

1. Cryptol

   Cryptol is a domain-specific language for specifying cryptographic algorithms.

   Tags: cryptography, haskell, dsl by Andreas Turtschan (2014-05-04)

Top of the page

First / Previous / Next / Last / Page 1 of 1