Popularno: Podaci ažurirani: 26. oktobar 2026.

Kategorije

Internet1.355
Komunikacija321
Audio i video898
Grafika i dizajn539
Kancelarija i produktivnost1.120
Alati za programere3.132
AI alati527
Bezbednost i privatnost385
Sistemski alati3.113
Igre523
Obrazovanje i nauka239
Mreža i IT284

Alternative za program Lean

Programming Language and Theorem Prover

Lean FRO IDE i editori koda

Programi za Windows iz iste kategorije kao Lean (12), poređani po zajedničkim osobinama i popularnosti.

  • OpenCode

    IDE i editori koda · OpenCode

    Otvoreni kod 1.19.4 285,2 hilj. ↓ ★ 219,9 hilj. programming
  • RStudio

    IDE i editori koda · Posit Software

    Otvoreni kod 2026.10.0+233 705,1 hilj. ↓ ★ 5,1 hilj. programming
  • Node.js (LTS)

    IDE i editori koda · Node.js Foundation

    Otvoreni kod 24.22.1 4,9 mil. ↓ ★ 122,5 hilj. programming
  • Apache NetBeans

    IDE i editori koda · Apache NetBeans

    Otvoreni kod 31 88,8 hilj. ↓ ★ 3,1 hilj. programming
  • Haxe

    IDE i editori koda · Haxe Foundation

    Otvoreni kod 4.3.7 49,7 hilj. ↓ ★ 7 hilj. language, programming, programming-language
  • VSCodium

    IDE i editori koda · VSCodium

    Otvoreni kod 1.140.06880 394,5 hilj. ↓ ★ 33,8 hilj.
  • Processing

    IDE i editori koda · Processing Foundation

    Otvoreni kod 4.5.7 79,2 hilj. ↓ ★ 518 programming
  • Thonny

    IDE i editori koda · Aivar Annamaa

    Otvoreni kod 5.0.0 94,6 hilj. ↓ ★ 4 hilj.
  • GDevelop

    IDE i editori koda · GDevelop Team

    Otvoreni kod 5.6.285 12,3 hilj. ↓ ★ 27,8 hilj. programming
  • mkcert

    IDE i editori koda · FiloSottile

    Otvoreni kod 1.4.4 495 hilj. ↓ ★ 59,8 hilj.
  • Haskell Stack

    IDE i editori koda · commercialhaskell

    Otvoreni kod 3.11.1 136,7 hilj. ↓ ★ 4,1 hilj. language, programming
  • Pure Data

    IDE i editori koda · Miller Puckette

    Otvoreni kod 0.57-0 9,7 hilj. ↓ ★ 2,1 hilj. programming

Poređenje

ProgramLicencaVerzijaAžuriranoZvezdice na GitHubuPreuzimanja sa Chocolateyja
Lean Otvoreni kod 4.35.0 13. oktobar 2026. 9,6 hilj. —
OpenCode Otvoreni kod 1.19.4 22. oktobar 2026. 219,9 hilj. 285,2 hilj.
RStudio Otvoreni kod 2026.10.0+233 15. oktobar 2026. 5,1 hilj. 705,1 hilj.
Node.js (LTS) Otvoreni kod 24.22.1 22. oktobar 2026. 122,5 hilj. 4,9 mil.
Apache NetBeans Otvoreni kod 31 14. avgust 2026. 3,1 hilj. 88,8 hilj.
Haxe Otvoreni kod 4.3.7 9. maj 2025. 7 hilj. 49,7 hilj.
VSCodium Otvoreni kod 1.140.06880 13. oktobar 2026. 33,8 hilj. 394,5 hilj.
Processing Otvoreni kod 4.5.7 24. septembar 2026. 518 79,2 hilj.
Thonny Otvoreni kod 5.0.0 27. april 2026. 4 hilj. 94,6 hilj.
GDevelop Otvoreni kod 5.6.285 21. oktobar 2026. 27,8 hilj. 12,3 hilj.
mkcert Otvoreni kod 1.4.4 8. oktobar 2022. 59,8 hilj. 495 hilj.
Haskell Stack Otvoreni kod 3.11.1 13. jun 2026. 4,1 hilj. 136,7 hilj.
Pure Data Otvoreni kod 0.57-0 5. oktobar 2026. 2,1 hilj. 9,7 hilj.