Populare: Date actualizate pe 26 octombrie 2026

Categorii

Internet1.355
Comunicare321
Audio și video898
Grafică și design539
Birou și productivitate1.120
Instrumente pentru dezvoltatori3.132
Instrumente AI527
Securitate și confidențialitate385
Instrumente de sistem3.113
Jocuri523
Educație și știință239
Rețea și IT284

Alternative la Lean pentru Windows

Programming Language and Theorem Prover

Lean FRO IDE-uri și editoare de cod

12 programe Windows din aceeași categorie cu Lean, ordonate după ce au în comun și după popularitate.

  • OpenCode

    IDE-uri și editoare de cod · OpenCode

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

    IDE-uri și editoare de cod · Posit Software

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

    IDE-uri și editoare de cod · Node.js Foundation

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

    IDE-uri și editoare de cod · Apache NetBeans

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

    IDE-uri și editoare de cod · Haxe Foundation

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

    IDE-uri și editoare de cod · VSCodium

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

    IDE-uri și editoare de cod · Processing Foundation

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

    IDE-uri și editoare de cod · Aivar Annamaa

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

    IDE-uri și editoare de cod · GDevelop Team

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

    IDE-uri și editoare de cod · FiloSottile

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

    IDE-uri și editoare de cod · commercialhaskell

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

    IDE-uri și editoare de cod · Miller Puckette

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

Comparație

ProgramLicențăVersiuneActualizatStele pe GitHubDescărcări Chocolatey
Lean Open source 4.35.0 13 octombrie 2026 9,6 K —
OpenCode Open source 1.19.4 22 octombrie 2026 219,9 K 285,2 K
RStudio Open source 2026.10.0+233 15 octombrie 2026 5,1 K 705,1 K
Node.js (LTS) Open source 24.22.1 22 octombrie 2026 122,5 K 4,9 mil.
Apache NetBeans Open source 31 14 august 2026 3,1 K 88,8 K
Haxe Open source 4.3.7 9 mai 2025 7 K 49,7 K
VSCodium Open source 1.140.06880 13 octombrie 2026 33,8 K 394,5 K
Processing Open source 4.5.7 24 septembrie 2026 518 79,2 K
Thonny Open source 5.0.0 27 aprilie 2026 4 K 94,6 K
GDevelop Open source 5.6.285 21 octombrie 2026 27,8 K 12,3 K
mkcert Open source 1.4.4 8 octombrie 2022 59,8 K 495 K
Haskell Stack Open source 3.11.1 13 iunie 2026 4,1 K 136,7 K
Pure Data Open source 0.57-0 5 octombrie 2026 2,1 K 9,7 K