# Cryptol

> domain specific programming language for cryptography

**Wikidata**: [Q5190950](https://www.wikidata.org/wiki/Q5190950)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Cryptol)  
**Source**: https://4ort.xyz/entity/cryptol

## Summary
Cryptol is a domain-specific programming language designed for cryptography, developed by Galois, Inc. It is open-source under the 3-clause BSD License and has been under active development since 2014, with the latest stable version (3.4.0) scheduled for release in 2025. Cryptol enables formal specification and verification of cryptographic algorithms, making it a specialized tool for secure systems development.

## Key Facts
- Cryptol is a domain-specific programming language for cryptography.
- It is developed by Galois, Inc. and licensed under the 3-clause BSD License.
- The latest stable version is 3.4.0, scheduled for release in 2025.
- Cryptol has been in development since 2014, with versions released annually.
- The language is available as a Debian stable package and a Homebrew formula.
- Cryptol source code is hosted on GitHub at [https://github.com/GaloisInc/cryptol](https://github.com/GaloisInc/cryptol).
- The official documentation is available at [https://galoisinc.github.io/cryptol/master/RefMan.html](https://galoisinc.github.io/cryptol/master/RefMan.html).
- Cryptol supports both Cryptol file format and Literate Cryptol source code files.
- The language is classified as a programming language under Wikidata.

## FAQs
- **What is Cryptol used for?** Cryptol is used for formally specifying and verifying cryptographic algorithms, making it a specialized tool for secure systems development.
- **Who developed Cryptol?** Cryptol was developed by Galois, Inc.
- **What license does Cryptol use?** Cryptol is licensed under the 3-clause BSD License.
- **Where can I find the source code for Cryptol?** The source code for Cryptol is available on GitHub at [https://github.com/GaloisInc/cryptol](https://github.com/GaloisInc/cryptol).
- **What are the latest versions of Cryptol?** The latest stable versions of Cryptol include 3.4.0 (scheduled for 2025), 3.3.0 (2025), 3.2.0 (2024), and 3.1.0 (2024).
- **How can I install Cryptol?** Cryptol can be installed via Debian stable packages or Homebrew.
- **What file formats does Cryptol support?** Cryptol supports Cryptol file format and Literate Cryptol source code files.
- **Where can I find the official documentation for Cryptol?** The official documentation for Cryptol is available at [https://galoisinc.github.io/cryptol/master/RefMan.html](https://galoisinc.github.io/cryptol/master/RefMan.html).

## Why It Matters
Cryptol plays a crucial role in the field of cryptography by providing a formal specification and verification framework for cryptographic algorithms. Its domain-specific design makes it a specialized tool for secure systems development, ensuring that cryptographic implementations are correct and reliable. By enabling formal verification, Cryptol helps mitigate security vulnerabilities and enhances the trustworthiness of cryptographic systems. Its development by Galois, Inc., a leader in formal methods and secure systems, underscores its significance in the cryptographic community.

## Notable For
- Being a domain-specific programming language for cryptography.
- Enabling formal specification and verification of cryptographic algorithms.
- Licensed under the 3-clause BSD License, promoting open-source collaboration.
- Available as a Debian stable package and Homebrew formula, ensuring broad accessibility.
- Hosted on GitHub, facilitating community contributions and development.
- Scheduled for continuous updates, with the latest version (3.4.0) planned for 2025.

## Body
### Overview
Cryptol is a domain-specific programming language designed for cryptography, developed by Galois, Inc. It is licensed under the 3-clause BSD License and is available as a Debian stable package and a Homebrew formula. The source code for Cryptol is hosted on GitHub, and the official documentation is available online.

### Development and Versions
Cryptol has been under active development since 2014, with versions released annually. The latest stable version is 3.4.0, scheduled for release in 2025. Previous versions include 3.3.0 (2025), 3.2.0 (2024), 3.1.0 (2024), and earlier versions such as 2.13.0 (2022) and 2.12.0 (2021).

### Features and Usage
Cryptol supports both Cryptol file format and Literate Cryptol source code files. It is used for formally specifying and verifying cryptographic algorithms, making it a specialized tool for secure systems development. The language is classified as a programming language under Wikidata.

### Accessibility and Community
Cryptol is accessible via Debian stable packages and Homebrew, ensuring broad availability. The source code is hosted on GitHub, facilitating community contributions and development. The official documentation is available at [https://galoisinc.github.io/cryptol/master/RefMan.html](https://galoisinc.github.io/cryptol/master/RefMan.html).

### Significance
Cryptol's domain-specific design and formal verification capabilities make it a valuable tool in the cryptographic community. Its development by Galois, Inc., a leader in formal methods and secure systems, underscores its significance in ensuring the correctness and reliability of cryptographic implementations.

## References

1. [Source](https://api.github.com/repos/GaloisInc/cryptol)
2. [Release 2.0.0. 2014](https://github.com/GaloisInc/cryptol/releases/tag/v2.0.0)
3. [Release 2.1.0. 2014](https://github.com/GaloisInc/cryptol/releases/tag/v2.1.0)
4. [Release 2.2.0. 2015](https://github.com/GaloisInc/cryptol/releases/tag/v2.2.0)
5. [Release 2.2.1. 2015](https://github.com/GaloisInc/cryptol/releases/tag/v2.2.1)
6. [Release 2.2.2. 2015](https://github.com/GaloisInc/cryptol/releases/tag/v2.2.2)
7. [Release 2.2.3. 2015](https://github.com/GaloisInc/cryptol/releases/tag/v2.2.3)
8. [Release 2.2.4. 2015](https://github.com/GaloisInc/cryptol/releases/tag/v2.2.4)
9. [Release 2.2.5. 2015](https://github.com/GaloisInc/cryptol/releases/tag/v2.2.5)
10. [Release 2.2.6. 2015](https://github.com/GaloisInc/cryptol/releases/tag/v2.2.6)
11. [Release 2.3.0. 2016](https://github.com/GaloisInc/cryptol/releases/tag/2.3.0)
12. [Release 2.4.0. 2016](https://github.com/GaloisInc/cryptol/releases/tag/2.4.0)
13. [Release 2.5.0. 2017](https://github.com/GaloisInc/cryptol/releases/tag/2.5.0)
14. [Release 2.6.0. 2018](https://github.com/GaloisInc/cryptol/releases/tag/2.6.0)
15. [Release 2.7.0. 2019](https://github.com/GaloisInc/cryptol/releases/tag/2.7.0)
16. [Release 2.8.0. 2019](https://github.com/GaloisInc/cryptol/releases/tag/2.8.0)
17. [Release 2.9.0. 2020](https://github.com/GaloisInc/cryptol/releases/tag/2.9.0)
18. [Release 2.9.1. 2020](https://github.com/GaloisInc/cryptol/releases/tag/2.9.1)
19. [Release 2.10.0. 2020](https://github.com/GaloisInc/cryptol/releases/tag/2.10.0)
20. [Release 2.11.0. 2021](https://github.com/GaloisInc/cryptol/releases/tag/2.11.0)
21. [Release 2.12.0. 2021](https://github.com/GaloisInc/cryptol/releases/tag/2.12.0)
22. [Release 2.13.0. 2022](https://github.com/GaloisInc/cryptol/releases/tag/2.13.0)
23. [Release 3.0.0. 2023](https://github.com/GaloisInc/cryptol/releases/tag/3.0.0)
24. [Release 3.1.0. 2024](https://github.com/GaloisInc/cryptol/releases/tag/3.1.0)
25. [Release 3.2.0. 2024](https://github.com/GaloisInc/cryptol/releases/tag/3.2.0)
26. [Release 3.3.0. 2025](https://github.com/GaloisInc/cryptol/releases/tag/3.3.0)
27. [Release 3.4.0. 2025](https://github.com/GaloisInc/cryptol/releases/tag/3.4.0)
28. [Release 3.5.0. 2026](https://github.com/GaloisInc/cryptol/releases/tag/3.5.0)