Cryptol

domain specific programming language for cryptography

Place programming_language Q5190950

Press Enter · cited answer in seconds

Summary

Cryptol is a programming language^[1].

Key Facts

Developer: Galois, Inc.^[2]
Copyright license: 3-clause BSD License^[3]
Programmed in: Haskell^[4]
Software version identifier: 2.0.0^[5], 2.1.0^[6], 2.2.0^[7], 2.2.1^[8], 2.2.2^[9], 2.2.3^[10], 2.2.4^[11], 2.2.5^[12], 2.2.6^[13], 2.3.0^[14], 2.4.0^[15], 2.5.0^[16], 2.6.0^[17], 2.7.0^[18], 2.8.0^[19], 2.9.0^[20], 2.9.1^[21], 2.10.0^[22], 2.11.0^[23], 2.12.0^[24], 2.13.0^[25]

⭐ Popularity Graph

10/100 established

🌐 Wiki Languages

1 / 428 langs

📈 Wikipedia Views · last 12 months

395 views trend: hourly, last 26h

Quick Facts

Instance of programming language

Official website galoisinc.github.io

Properties

Developer Galois, Inc.

Programmed in Haskell

Readable file format Cryptol file format, Literate Cryptol source code file

Software version identifier 2.0.0, 2.1.0, 2.2.0, 2.2.1, 2.2.2, 2.2.3, 2.2.4, 2.2.5, 2.2.6, 2.3.0, 2.4.0, 2.5.0, 2.6.0, 2.7.0, 2.8.0, 2.9.0, 2.9.1, 2.10.0, 2.11.0, 2.12.0, 2.13.0, 3.0.0, 3.1.0, 3.2.0, 3.3.0, 3.4.0, 3.5.0, 3.6.0

Writable file format Cryptol file format, Literate Cryptol source code file

Identifiers (6)

Arch linux package cryptol

Debian stable package cryptol

Freebase id /m/05c414v

Homebrew formula name cryptol

Microsoft academic id (discontinued) 2780526492

Source code repository url github.com

🏷️ Also known as

en Cryptol

🔗 Connections

3-clause BSD License

Instance of 1

programming language

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

Class ancestry

[1] ↑ Cryptol is an instance of programming language (Q9143) [P31, primary]. Wikidata. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Cryptol. Retrieved November 1, 2026, from https://4ort.xyz/entity/cryptol

MLA “Cryptol.” 4ort.xyz Knowledge Graph, 4ort.xyz, 1 Nov. 2026, https://4ort.xyz/entity/cryptol.

BibTeX

@misc{4ortxyz_cryptol_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Cryptol}}, year = {2026}, url = {https://4ort.xyz/entity/cryptol}, note = {Accessed: 2026-11-01}}

LLM prompt

According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Cryptol — https://4ort.xyz/entity/cryptol (retrieved 2026-11-01)

Canonical URL: https://4ort.xyz/entity/cryptol · Last refreshed: November 1, 2026

Edit History

Rolling log of changes to this entity's Wikidata record. Values shown reflect the current state of each edited property — follow the history link to see the precise diff for any edit.

5w ago · Spiral6800 · 2026-09-25 view diff on Wikidata ↗

Arch linux package → cryptol

"/* wbsetclaim-create:1||1 */ Arch linux package: cryptol, Matched to [[:toollabs:mix-n-match/#/entry/325096487|cryptol (#325096487)]] in [[:toollabs:mix-n-match/#/catalog/8509|Arch Linux package]] #mi"
7w ago · Github-wiki-bot bot · 2026-09-09 view diff on Wikidata ↗

Programming language → —

Microsoft academic id (discontinued) → —

Software version identifier → 2.0.0, 2.1.0, 2.2.0 +25

Official website → https://galoisinc.github.io/cryptol/master/RefMan.html

+ 22 other properties edited (see Wikidata diff for full list)

"/* wbeditentity-statements-single-property-update:1||2 */ Software version identifier, Update with GitHub data ([[:toollabs:editgroups/b/CB/aa0f8610f154|details]])"

Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.