{
 "id": "cryptol-file-format",
 "name": "Cryptol file format",
 "category": "text",
 "identifiers": {
  "extensions": [
   "cry"
  ],
  "mime": [
   "text/x-cryptol"
  ],
  "wikidata": [
   "Q128781486"
  ]
 },
 "status": "writable",
 "summary": "file format",
 "tools": [
  {
   "name": "Cryptol",
   "url": "https://galoisinc.github.io/cryptol/master/RefMan.html",
   "reads": true,
   "writes": true,
   "license": "3-clause BSD License",
   "open_source": true
  },
  {
   "name": "Pygments",
   "url": "https://pygments.org/",
   "reads": true,
   "writes": false,
   "license": "2-clause BSD License",
   "open_source": true
  }
 ],
 "projects": [
  {
   "name": "Wikidata Q128781486",
   "url": "https://www.wikidata.org/wiki/Q128781486",
   "kind": "wiki"
  }
 ],
 "provenance": {
  "sources": [
   "wikidata"
  ]
 },
 "updated": "2026-10-20"
}