State of Mac

Developer tools / Code editors and IDEs / TLA+ Toolbox

TLA+ Toolbox

66installs in the last 30 days. IDE for TLA+.

Is TLA+ Toolbox growing? Yes. Its share of all app installs went from 0.0026% in the two months before to 0.0031% in the last 30 days (+21%).

Visit TLA+ Toolbox websiteCompare Editors & IDEs

  • Installs, 90 days
    143
  • Installs, 365 days
    694
  • Share of all installs
    0.0031%
    Sep 28 – Oct 28, 2026
  • Type
    Mac app

History

Installs in each recorded 30-day window.

No data in this spanNo data in this span72Nov 26 202544Jun 16 202666Oct 28

Average per 30 days

Three periods: the last 30 days, the two months before, and the nine months before that.

60Days 91–365Oct 28 – Jul 29 39Days 31–90Jul 30 – Sep 27 66Last 30 daysSep 28 – Oct 28, 2026
60Days 91–365Oct 28 – Jul 29 39Days 31–90Jul 30 – Sep 27 66Last 30 daysSep 28 – Oct 28, 2026

TLA+ Toolbox: details

Website
lamport.azurewebsites.net/tla/toolbox.html
Category
Code editors and IDEs
Type
Mac app
Installs, 30 days
66
Installs, 90 days
143
Installs, 365 days
694
Trend
Get it
Download from the official website
Install from Terminal instead
brew install --cask tla+-toolbox
Needs Homebrew, a free tool for installing apps by typing commands.
Source
formulae.brew.sh/cask/tla+-toolbox

Install counts come from Homebrew, a free tool many Mac users install apps with, so they describe those people, not every Mac owner. How we count

More code editors and ides apps

The most installed developer tools in Code editors and IDEs.

All of them