{"adoption": {"forks": 129, "observed_at": "2026-09-03T02:15:05.960292+00:00", "stars": 1220}, "canonical_url": "https://ross.abutalabs.com/products/cryptol", "card": {"archived": false, "artifact_type": "cli-tool", "description": "Cryptol: The Language of Cryptography", "domain": ["security", "programming-languages"], "enriched": true, "function": ["interpreter", "testing", "programming-language", "cryptography"], "health_score": 97, "homepage": "https://galoisinc.github.io/cryptol/master/RefMan.html", "language": "Haskell", "license": "BSD-3-Clause", "license_family": "permissive", "maturity": "active", "member_repos": ["GaloisInc/cryptol"], "name": "GaloisInc/cryptol", "platform": ["windows", "cli"], "pushed_at": "2026-09-03T00:12:25+00:00", "repo": "GaloisInc/cryptol", "stars": 1220, "tags": ["cryptol", "smt-solvers", "formal-specification", "quickcheck", "haskell", "formal-verification", "interpreter", "cryptography", "linux", "macos"], "topics": [], "urls": [], "use_cases": ["write executable specifications of cryptographic algorithms", "prove properties of a cipher implementation with an SMT solver", "randomly test cryptographic predicates against generated vectors", "formally document a cryptographic module", "verify that an implementation matches its reference spec"], "what_it_is": "Cryptol is a domain-specific language and interpreter for specifying cryptographic algorithms, developed by Galois. It provides an executable REPL with property-based testing (`:check`) and SMT-backed formal proving (`:prove`) of cryptographic specifications.", "when_to_avoid": ["you need a general-purpose programming language", "you want a high-performance production crypto library rather than a specification tool", "you are not working with cryptographic or bit-vector-level algorithms"], "when_to_choose": ["you need a formal, executable specification language for cryptography", "you want machine-checked proofs of crypto properties via Z3/Yices/CVC", "you are designing or auditing cryptographic algorithms"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/cryptol", "repo": "GaloisInc/cryptol", "role": "main", "score": 80}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-09-03T02:15:05.960292+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T08:33:21.332358+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b53b418d633d10484ae790fed47b3dc15c630e4d0f7bc46ccd9843fd9e346ebd", "fetched_at": "2026-09-03T02:15:05.960292+00:00", "kind": "readme", "missing": false, "url": "https://github.com/GaloisInc/cryptol"}, {"content_hash": "47d7aa6393d60a5a23aea3b202a875fcfef06629e54a461ff3fe4b99345c1e73", "fetched_at": "2026-08-29T12:24:24.241404+00:00", "kind": "homepage", "missing": false, "url": "https://galoisinc.github.io/cryptol/master/RefMan.html"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-09-03T02:15:05.960292+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T08:33:21.332358+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b53b418d633d10484ae790fed47b3dc15c630e4d0f7bc46ccd9843fd9e346ebd", "fetched_at": "2026-09-03T02:15:05.960292+00:00", "kind": "readme", "missing": false, "url": "https://github.com/GaloisInc/cryptol"}, {"content_hash": "47d7aa6393d60a5a23aea3b202a875fcfef06629e54a461ff3fe4b99345c1e73", "fetched_at": "2026-08-29T12:24:24.241404+00:00", "kind": "homepage", "missing": false, "url": "https://galoisinc.github.io/cryptol/master/RefMan.html"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T08:33:21.332358+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b53b418d633d10484ae790fed47b3dc15c630e4d0f7bc46ccd9843fd9e346ebd", "fetched_at": "2026-09-03T02:15:05.960292+00:00", "kind": "readme", "missing": false, "url": "https://github.com/GaloisInc/cryptol"}, {"content_hash": "47d7aa6393d60a5a23aea3b202a875fcfef06629e54a461ff3fe4b99345c1e73", "fetched_at": "2026-08-29T12:24:24.241404+00:00", "kind": "homepage", "missing": false, "url": "https://galoisinc.github.io/cryptol/master/RefMan.html"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-09-03T02:15:05.960292+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-09-03T02:15:05.960292+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-09-03T02:15:05.960292+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T08:33:21.332358+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b53b418d633d10484ae790fed47b3dc15c630e4d0f7bc46ccd9843fd9e346ebd", "fetched_at": "2026-09-03T02:15:05.960292+00:00", "kind": "readme", "missing": false, "url": "https://github.com/GaloisInc/cryptol"}, {"content_hash": "47d7aa6393d60a5a23aea3b202a875fcfef06629e54a461ff3fe4b99345c1e73", "fetched_at": "2026-08-29T12:24:24.241404+00:00", "kind": "homepage", "missing": false, "url": "https://galoisinc.github.io/cryptol/master/RefMan.html"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-09-03T02:15:05.960292+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-09-03T02:15:05.960292+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T08:33:21.332358+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b53b418d633d10484ae790fed47b3dc15c630e4d0f7bc46ccd9843fd9e346ebd", "fetched_at": "2026-09-03T02:15:05.960292+00:00", "kind": "readme", "missing": false, "url": "https://github.com/GaloisInc/cryptol"}, {"content_hash": "47d7aa6393d60a5a23aea3b202a875fcfef06629e54a461ff3fe4b99345c1e73", "fetched_at": "2026-08-29T12:24:24.241404+00:00", "kind": "homepage", "missing": false, "url": "https://galoisinc.github.io/cryptol/master/RefMan.html"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-09-03T02:15:05.960292+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-09-03T02:15:05.960292+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-09-03T02:15:05.960292+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T08:33:21.332358+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b53b418d633d10484ae790fed47b3dc15c630e4d0f7bc46ccd9843fd9e346ebd", "fetched_at": "2026-09-03T02:15:05.960292+00:00", "kind": "readme", "missing": false, "url": "https://github.com/GaloisInc/cryptol"}, {"content_hash": "47d7aa6393d60a5a23aea3b202a875fcfef06629e54a461ff3fe4b99345c1e73", "fetched_at": "2026-08-29T12:24:24.241404+00:00", "kind": "homepage", "missing": false, "url": "https://galoisinc.github.io/cryptol/master/RefMan.html"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-09-03T02:15:05.960292+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-09-03T02:15:05.960292+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T08:33:21.332358+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b53b418d633d10484ae790fed47b3dc15c630e4d0f7bc46ccd9843fd9e346ebd", "fetched_at": "2026-09-03T02:15:05.960292+00:00", "kind": "readme", "missing": false, "url": "https://github.com/GaloisInc/cryptol"}, {"content_hash": "47d7aa6393d60a5a23aea3b202a875fcfef06629e54a461ff3fe4b99345c1e73", "fetched_at": "2026-08-29T12:24:24.241404+00:00", "kind": "homepage", "missing": false, "url": "https://galoisinc.github.io/cryptol/master/RefMan.html"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T08:33:21.332358+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b53b418d633d10484ae790fed47b3dc15c630e4d0f7bc46ccd9843fd9e346ebd", "fetched_at": "2026-09-03T02:15:05.960292+00:00", "kind": "readme", "missing": false, "url": "https://github.com/GaloisInc/cryptol"}, {"content_hash": "47d7aa6393d60a5a23aea3b202a875fcfef06629e54a461ff3fe4b99345c1e73", "fetched_at": "2026-08-29T12:24:24.241404+00:00", "kind": "homepage", "missing": false, "url": "https://galoisinc.github.io/cryptol/master/RefMan.html"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T08:33:21.332358+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b53b418d633d10484ae790fed47b3dc15c630e4d0f7bc46ccd9843fd9e346ebd", "fetched_at": "2026-09-03T02:15:05.960292+00:00", "kind": "readme", "missing": false, "url": "https://github.com/GaloisInc/cryptol"}, {"content_hash": "47d7aa6393d60a5a23aea3b202a875fcfef06629e54a461ff3fe4b99345c1e73", "fetched_at": "2026-08-29T12:24:24.241404+00:00", "kind": "homepage", "missing": false, "url": "https://galoisinc.github.io/cryptol/master/RefMan.html"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T08:33:21.332358+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b53b418d633d10484ae790fed47b3dc15c630e4d0f7bc46ccd9843fd9e346ebd", "fetched_at": "2026-09-03T02:15:05.960292+00:00", "kind": "readme", "missing": false, "url": "https://github.com/GaloisInc/cryptol"}, {"content_hash": "47d7aa6393d60a5a23aea3b202a875fcfef06629e54a461ff3fe4b99345c1e73", "fetched_at": "2026-08-29T12:24:24.241404+00:00", "kind": "homepage", "missing": false, "url": "https://galoisinc.github.io/cryptol/master/RefMan.html"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 100, "longevity": 100, "rhythm": 44}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": [], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 4521, "days_push": 0, "days_rel": 217, "gap_med": 154.5, "n_releases_24m": 3}, "score": 80, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 3, "stale_scrape": false}}