TLA+ Toolbox

{
  "alternatives": [],
  "artifacts": [
    {
      "app": [
        "TLA+ Toolbox.app"
      ],
      "target": "/Applications/TLA+ Toolbox.app"
    }
  ],
  "auto_updates": null,
  "categories": [],
  "deprecated": 0,
  "deprecation_reason": null,
  "desc": "IDE for TLA+",
  "disable_reason": null,
  "disabled": 0,
  "display_name": "TLA+ Toolbox",
  "enrichment_fetched_at": "2026-06-20T22:50:30+00:00",
  "first_seen": "2026-06-20T00:47:34+00:00",
  "full_token": "tla+-toolbox",
  "github_default_branch": null,
  "github_last_commit_at": null,
  "github_readme_excerpt": null,
  "github_repo": null,
  "github_stars": null,
  "github_topics": [],
  "homepage": "https://lamport.azurewebsites.net/tla/toolbox.html",
  "homepage_og_description": null,
  "homepage_og_image": null,
  "homepage_title": "The TLA Toolbox",
  "installs_30d": 42,
  "installs_365d": 664,
  "installs_90d": 180,
  "last_seen": "2026-06-20T00:47:34+00:00",
  "llm_generated_at": null,
  "llm_model": null,
  "names": [
    "TLA+ Toolbox"
  ],
  "one_liner": null,
  "rank_30d": 2153,
  "rank_365d": 1840,
  "rank_90d": 1851,
  "raw_hash": "fbd7baaa93d360d1",
  "ruby_source_path": "Casks/t/tla+-toolbox.rb",
  "tap": "homebrew/cask",
  "token": "tla+-toolbox",
  "version": "1.7.4",
  "why_use_this": null
}