A Cryptol implementation of Skein

The folks at Galois have come up with an implementation of Skein using their Cryptol language. Their article is here.

Thank you to Sigbjorn Finne, who did the article and likely the implementation, and Sally Browning, who told us about it.