CTO
CLiki for the TUNES project
Home
About CLiki
Text Formatting
Cryptol
A
programming language
(specifically a
DSL
, apparently on top of
Haskell
) for cryptographic applications, currently developed by Galois Connections.
Cryptol Home
.
Galois Connections, Inc.
.