Cryptol

Cryptol is a domain-specific programming language for cryptography developed by the Portland, Oregon based software development firm, Galois, Inc. It is free and open-source software released under a BSD 3-clause software license. Wikipedia

Developed by: Galois, Inc.
Implemented in: Haskell

Wikidata: Q5190950

Hello World in Cryptol

:set ascii=on
"Hello World"

Search on GitHub


Latest data update: 2025-04-06