Top 1,000 Features Creators Resources Extensions Blog Explorer CSV Download
GitHub icon

Cryptol

< >

Cryptol is an open source programming language created in 2014 by Adam C. Foltzer.

#305on PLDB 10Years Old
Download source code:
git clone https://github.com/GaloisInc/cryptol

Try now: TIO

Cryptol is a domain specific programming language for cryptography developed by the Portland, Oregon based software development firm, Galois, Inc.. The language was originally developed for use by the United States National Security Agency. The language is also used by private firms that provide information technology systems, such as the American company Rockwell Collins provides to aerospace and defense contractors in the United States.The programming language is used for all aspects of developing and using cryptography, such as the design and implementation of new ciphers and the verification of existing cryptographic algorithms. Read more on Wikipedia...


Example from hello-world:
:set ascii=on "Hello World"

Language features

Feature Supported Token Example
Comments โœ“
MultiLine Comments โœ“
Line Comments โœ“
Integers โœ“
Floats โœ“
Hexadecimals โœ“
Octals โœ“
Strings โœ“ "
"Hello world"

View source

- Build the next great programming language ยท About ยท Acknowledgements ยท Published by Breck's Lab