LTWlanguages & frameworks ltw://languages
Sponsor
LTW
Sponsor
  1. Home
  2. Languages
  3. Cryptol
Language

Cryptol

Domain specific programming language for cryptography

3.6.0Latest version

Facts

Latest version
3.6.0 (September 9, 2026)
Developer
Galois, Inc.
Implemented in
Haskell

Sources: Wikidata (CC0) · Wikidata Q5190950