Populares: Dados atualizados em 3 de novembro de 2026

Categorias

Internet1.364
Comunicação322
Áudio e vídeo904
Gráficos e design544
Escritório e produtividade1.127
Programação3.147
Inteligência artificial535
Segurança e privacidade392
Ferramentas do sistema3.146
Jogos526
Educação e ciência239
Redes e TI283

Alternativas para tlaplus-toolbox no Windows

IDE for the TLA+ tools.

12 programas para Windows da mesma categoria de tlaplus-toolbox, ordenados pelo que têm em comum e pela popularidade.

  • Stellarium

    Ciências e matemática · Stellarium team

    Código aberto 26.3 118 mil ↓ ★ 10,1 mil science
  • KiCad

    Ciências e matemática · KiCad

    Código aberto 10.0.7 126,7 mil ↓ ★ 3,1 mil engineering
  • Quarto

    Ciências e matemática · Rstudio, PBC

    Código aberto 1.11.9 48 mil ↓ ★ 6,1 mil
  • Qalculate!

    Ciências e matemática · Hanna Knutsson

    Código aberto 5.13.2 50,3 mil ↓ ★ 2,7 mil engineering, science
  • JASP

    Ciências e matemática · Universiteit van Amsterdam

    Código aberto 0.99.0 12,2 mil ↓ ★ 1 mil science
  • Klayout - Layout Viewer And Editor

    Ciências e matemática · Matthias Koefferlein

    Código aberto 0.30.12 17,7 mil ↓ ★ 1,2 mil development, engineering
  • OpenChrom

    Ciências e matemática · Lablicate GmbH

    Código aberto 1.6.39 25,5 mil ↓ ★ 135 science
  • scilab

    Ciências e matemática · Dassault Systèmes

    Código aberto 2025.0.0 28,6 mil ↓ science
  • pyzo

    Ciências e matemática · The Pyzo team

    Código aberto 4.22.0 6,9 mil ↓ ★ 320 development, science
  • Avogadro

    Ciências e matemática · Humanity

    Código aberto 1.2.0 5,5 mil ↓ ★ 79 science
  • fend

    Ciências e matemática · printfn

    Código aberto 1.5.9 5,9 mil ↓ ★ 1,1 mil
  • gnuplot

    Ciências e matemática · gnuplot development team

    Outra licença 6.0 patchlevel 4 3,7 mil ↓

Comparação

ProgramaLicençaVersãoAtualizadoEstrelas no GitHubDownloads no Chocolatey
tlaplus-toolbox Código aberto 1.8.0 — —
Stellarium Código aberto 26.3 28 de setembro de 2026 10,1 mil 118 mil
KiCad Código aberto 10.0.7 1 de novembro de 2026 3,1 mil 126,7 mil
Quarto Código aberto 1.11.9 2 de novembro de 2026 6,1 mil 48 mil
Qalculate! Código aberto 5.13.2 11 de outubro de 2026 2,7 mil 50,3 mil
JASP Código aberto 0.99.0 21 de outubro de 2026 1 mil 12,2 mil
Klayout - Layout Viewer And Editor Código aberto 0.30.12 26 de agosto de 2026 1,2 mil 17,7 mil
OpenChrom Código aberto 1.6.39 30 de outubro de 2026 135 25,5 mil
scilab Código aberto 2025.0.0 30 de abril de 2025 — 28,6 mil
pyzo Código aberto 4.22.0 5 de agosto de 2026 320 6,9 mil
Avogadro Código aberto 1.2.0 5 de novembro de 2021 79 5,5 mil
fend Código aberto 1.5.9 21 de outubro de 2026 1,1 mil 5,9 mil
gnuplot Outra licença 6.0 patchlevel 4 24 de dezembro de 2025 — 3,7 mil