A *(programming language) (specifically a _(DSL), apparently on top of _(Haskell)) for cryptographic applications, currently developed by Galois Connections.

<ul class="implementations">
<li>_("Cryptol Home"|http://www.cryptol.net/).
</ul>

<ul class="links">
<li>_("Galois Connections, Inc."|http://www.galois.com/).
</ul>
