{"schema_version":"4ort.packet/1","entity":{"entity_id":"cryptol","kg_uuid":"e3702478-e98a-47d3-905f-4ac88c72baff","wikidata_id":"Q5190950","name":"Cryptol","description":"domain specific programming language for cryptography","type":"Place","url":"https://4ort.xyz/entity/cryptol"},"status":"complete","as_of":{"copy_written_at":"2026-11-01T16:35:13Z","last_source_edit_seen":"2026-09-25T19:38:02Z","stale_possible":true,"claims_refreshed_at":null,"source_revision":null},"facts":[{"field":"P31","label":"instance of","value":"programming language","value_id":"Q9143","value_raw":"Q9143","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q5190950#P31","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P856","label":"official website","value":"https://galoisinc.github.io/cryptol/master/RefMan.html","value_id":null,"value_raw":"https://galoisinc.github.io/cryptol/master/RefMan.html","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q5190950#P856","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P178","label":"developer","value":"Galois, Inc.","value_id":"Q30298010","value_raw":"Q30298010","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q5190950#P178","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P275","label":"copyright license","value":"3-clause BSD License","value_id":"Q18491847","value_raw":"Q18491847","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q5190950#P275","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P277","label":"programmed in","value":"Haskell","value_id":"Q34010","value_raw":"Q34010","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q5190950#P277","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P348","label":"software version identifier","value":"2.0.0","value_id":null,"value_raw":"2.0.0","rank":"normal","current":null,"qualifiers":[{"field":"P548","label":"version type","value":"stable version"},{"field":"P577","label":"publication date","value":"2014-04-24"}],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q5190950#P348","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P348","label":"software version identifier","value":"2.1.0","value_id":null,"value_raw":"2.1.0","rank":"normal","current":null,"qualifiers":[{"field":"P548","label":"version type","value":"stable version"},{"field":"P577","label":"publication date","value":"2014-10-16"}],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q5190950#P348","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P348","label":"software version identifier","value":"2.2.0","value_id":null,"value_raw":"2.2.0","rank":"normal","current":null,"qualifiers":[{"field":"P548","label":"version type","value":"stable version"},{"field":"P577","label":"publication date","value":"2015-03-24"}],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q5190950#P348","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P348","label":"software version identifier","value":"2.2.1","value_id":null,"value_raw":"2.2.1","rank":"normal","current":null,"qualifiers":[{"field":"P548","label":"version type","value":"stable version"},{"field":"P577","label":"publication date","value":"2015-03-26"}],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q5190950#P348","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P348","label":"software version identifier","value":"2.2.2","value_id":null,"value_raw":"2.2.2","rank":"normal","current":null,"qualifiers":[{"field":"P548","label":"version type","value":"stable version"},{"field":"P577","label":"publication date","value":"2015-04-10"}],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q5190950#P348","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P1072","label":"readable file format","value":"Cryptol file format","value_id":"Q128781486","value_raw":"Q128781486","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q5190950#P1072","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P1072","label":"readable file format","value":"Literate Cryptol source code file","value_id":"Q130240656","value_raw":"Q130240656","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q5190950#P1072","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P1073","label":"writable file format","value":"Cryptol file format","value_id":"Q128781486","value_raw":"Q128781486","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q5190950#P1073","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P1073","label":"writable file format","value":"Literate Cryptol source code file","value_id":"Q130240656","value_raw":"Q130240656","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q5190950#P1073","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P1324","label":"source code repository URL","value":"https://github.com/GaloisInc/cryptol","value_id":null,"value_raw":"https://github.com/GaloisInc/cryptol","rank":"normal","current":null,"qualifiers":[{"field":"P8423","label":"version control system","value":"Git"},{"field":"P10627","label":"web interface software","value":"GitHub"}],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q5190950#P1324","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P3442","label":"Debian stable package","value":"cryptol","value_id":null,"value_raw":"cryptol","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q5190950#P3442","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P3454","label":"Arch Linux package","value":"cryptol","value_id":null,"value_raw":"cryptol","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q5190950#P3454","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P6366","label":"Microsoft Academic ID (discontinued)","value":"2780526492","value_id":null,"value_raw":"2780526492","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q5190950#P6366","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P8443","label":"Homebrew formula name","value":"cryptol","value_id":null,"value_raw":"cryptol","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q5190950#P8443","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}}],"unknowns":[],"omitted":{"facts":0,"reason":null},"licences":[{"source":"wikidata","source_name":"Wikidata","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"fields":["P31","P856","P178","P275","P277","P348","P1072","P1073","P1324","P3442","P3454","P6366","P8443"]}],"routes":{"entity_page":"https://4ort.xyz/entity/cryptol","packet_api":"https://4ort.xyz/api/v1/entities/cryptol/packet","facts_jsonld":"https://4ort.xyz/entity/cryptol/facts.json","changes_api":"https://4ort.xyz/api/v1/knowledge/get_entity_changes?entity=cryptol","attention_api":"https://4ort.xyz/api/v1/knowledge/get_attention?entity=cryptol","wikidata":"https://www.wikidata.org/wiki/Q5190950","official_website":"https://galoisinc.github.io/cryptol/master/RefMan.html"},"trust_rules":{"wikidata-reference-support/2":"From the references in our copy of the statement: high = it cites a source (stated in P248, or a reference URL that is not Wikipedia); medium = only 'imported from Wikimedia project' or a Wikipedia URL; unscored = our copy holds no reference (older copies dropped references, so this is not evidence that Wikidata has none). Wikidata may hold more references than our copy shows. Reference support, not a probability."},"notes":["Our copy of this item's statements has not been checked against Wikidata since tracking began (2026-10-25); a newer value may exist."]}