← All repos

cryptol

Cryptol: The Language of Cryptography

GitHubgaloisinc.github.io/cryptol/master/RefMan.html
Browse cluster: Haskell tooling and libraries →
5,193commits
86contributors
12languages

Tech stack & purpose

Cryptol is a language and toolset for cryptography, developed by Galois Inc. The project centers on a JSON-RPC server called cryptol-remote-api, built with the argo library, that allows users to load and type-check Cryptol modules and evaluate expressions—making executable cryptographic specifications usable in prototypes and systems where performance is secondary. The repository includes a Python client (requiring Python 3.7 or newer) that communicates with the server over stdio, socket, or HTTP transports, as well as tooling for CVE vulnerability scanning of both Haskell and Python dependencies and documentation in Sphinx format.

Community & reference links

Languages

Haskell
87.7%
Python
8.4%
Rust
1.2%
Shell
0.8%
C
0.7%
SMT
0.3%
Dockerfile
0.3%
Vim Script
0.2%
Makefile
0.1%
Go Template
0.1%
JavaScript
0.0%
TypeScript
0.0%

Contributors (top 30 of 86)