I più scaricati: Dati aggiornati al 26 ottobre 2026

Categorie

Internet1355
Comunicazione321
Audio e video898
Grafica e design539
Ufficio e produttività1120
Strumenti di sviluppo3132
Strumenti di IA527
Sicurezza e privacy385
Strumenti di sistema3113
Giochi523
Istruzione e scienza239
Rete e IT284

Alternative a Lean per Windows

Programming Language and Theorem Prover

Lean FRO IDE ed editor di codice

12 programmi per Windows della stessa categoria di Lean, ordinati per caratteristiche in comune e popolarità.

  • OpenCode

    IDE ed editor di codice · OpenCode

    Open source 1.19.4 285,2K ↓ ★ 219,9K programming
  • RStudio

    IDE ed editor di codice · Posit Software

    Open source 2026.10.0+233 705,1K ↓ ★ 5,1K programming
  • Node.js (LTS)

    IDE ed editor di codice · Node.js Foundation

    Open source 24.22.1 4,9 Mln ↓ ★ 122,5K programming
  • Apache NetBeans

    IDE ed editor di codice · Apache NetBeans

    Open source 31 88,8K ↓ ★ 3,1K programming
  • Haxe

    IDE ed editor di codice · Haxe Foundation

    Open source 4.3.7 49,7K ↓ ★ 7K language, programming, programming-language
  • VSCodium

    IDE ed editor di codice · VSCodium

    Open source 1.140.06880 394,5K ↓ ★ 33,8K
  • Processing

    IDE ed editor di codice · Processing Foundation

    Open source 4.5.7 79,2K ↓ ★ 518 programming
  • Thonny

    IDE ed editor di codice · Aivar Annamaa

    Open source 5.0.0 94,6K ↓ ★ 4K
  • GDevelop

    IDE ed editor di codice · GDevelop Team

    Open source 5.6.285 12,3K ↓ ★ 27,8K programming
  • mkcert

    IDE ed editor di codice · FiloSottile

    Open source 1.4.4 495K ↓ ★ 59,8K
  • Haskell Stack

    IDE ed editor di codice · commercialhaskell

    Open source 3.11.1 136,7K ↓ ★ 4,1K language, programming
  • Pure Data

    IDE ed editor di codice · Miller Puckette

    Open source 0.57-0 9,7K ↓ ★ 2,1K programming

Confronto

ProgrammaLicenzaVersioneAggiornatoStelle su GitHubDownload Chocolatey
Lean Open source 4.35.0 13 ottobre 2026 9,6K —
OpenCode Open source 1.19.4 22 ottobre 2026 219,9K 285,2K
RStudio Open source 2026.10.0+233 15 ottobre 2026 5,1K 705,1K
Node.js (LTS) Open source 24.22.1 22 ottobre 2026 122,5K 4,9 Mln
Apache NetBeans Open source 31 14 agosto 2026 3,1K 88,8K
Haxe Open source 4.3.7 9 maggio 2025 7K 49,7K
VSCodium Open source 1.140.06880 13 ottobre 2026 33,8K 394,5K
Processing Open source 4.5.7 24 settembre 2026 518 79,2K
Thonny Open source 5.0.0 27 aprile 2026 4K 94,6K
GDevelop Open source 5.6.285 21 ottobre 2026 27,8K 12,3K
mkcert Open source 1.4.4 8 ottobre 2022 59,8K 495K
Haskell Stack Open source 3.11.1 13 giugno 2026 4,1K 136,7K
Pure Data Open source 0.57-0 5 ottobre 2026 2,1K 9,7K