Populärt: Data uppdaterade 9 november 2026

Kategorier

Internet1 378
Kommunikation323
Ljud och video914
Grafik och design552
Kontor och produktivitet1 137
Utvecklarverktyg3 178
AI-verktyg555
Säkerhet och integritet396
Systemverktyg3 169
Spel532
Utbildning och vetenskap240
Nätverk och IT291

Alternativ till Lean

Programming Language and Theorem Prover

Lean FRO IDE:er och kodredigerare

12 Windowsprogram i samma kategori som Lean, sorterade efter gemensamma egenskaper och popularitet.

  • RStudio

    IDE:er och kodredigerare · Posit Software

    Öppen källkod 2026.10.1+239 707,6 tn ↓ ★ 5,1 tn programming
  • Node.js (LTS)

    IDE:er och kodredigerare · Node.js Foundation

    Öppen källkod 26.13.0 4,9 mn ↓ ★ 122,5 tn programming
  • Apache NetBeans

    IDE:er och kodredigerare · Apache NetBeans

    Öppen källkod 31 88,8 tn ↓ ★ 3,1 tn programming
  • Haxe

    IDE:er och kodredigerare · Haxe Foundation

    Öppen källkod 4.3.7 49,7 tn ↓ ★ 7 tn language, programming, programming-language
  • VSCodium

    IDE:er och kodredigerare · VSCodium

    Öppen källkod 1.143.17232 398,1 tn ↓ ★ 33,8 tn
  • Processing

    IDE:er och kodredigerare · Processing Foundation

    Öppen källkod 4.5.7 79,2 tn ↓ ★ 518 programming
  • Thonny

    IDE:er och kodredigerare · Aivar Annamaa

    Öppen källkod 5.0.1 96,6 tn ↓ ★ 4 tn
  • GDevelop

    IDE:er och kodredigerare · GDevelop Team

    Öppen källkod 5.6.287 12,9 tn ↓ ★ 27,8 tn programming
  • mkcert

    IDE:er och kodredigerare · FiloSottile

    Öppen källkod 1.4.4 495 tn ↓ ★ 59,8 tn
  • Haskell Stack

    IDE:er och kodredigerare · commercialhaskell

    Öppen källkod 3.11.1 136,7 tn ↓ ★ 4,1 tn language, programming
  • Pure Data

    IDE:er och kodredigerare · Miller Puckette

    Öppen källkod 0.57-0 9,7 tn ↓ ★ 2,1 tn programming
  • Arduino IDE

    IDE:er och kodredigerare · Arduino SA

    Öppen källkod 2.3.10 494,3 tn ↓ ★ 3,3 tn programming

Jämförelse

ProgramLicensVersionUppdateradGitHub-stjärnorNedladdningar via Chocolatey
Lean Öppen källkod 4.35.0 13 oktober 2026 9,6 tn —
RStudio Öppen källkod 2026.10.1+239 28 oktober 2026 5,1 tn 707,6 tn
Node.js (LTS) Öppen källkod 26.13.0 28 oktober 2026 122,5 tn 4,9 mn
Apache NetBeans Öppen källkod 31 14 augusti 2026 3,1 tn 88,8 tn
Haxe Öppen källkod 4.3.7 9 maj 2025 7 tn 49,7 tn
VSCodium Öppen källkod 1.143.17232 28 oktober 2026 33,8 tn 398,1 tn
Processing Öppen källkod 4.5.7 24 september 2026 518 79,2 tn
Thonny Öppen källkod 5.0.1 29 oktober 2026 4 tn 96,6 tn
GDevelop Öppen källkod 5.6.287 4 november 2026 27,8 tn 12,9 tn
mkcert Öppen källkod 1.4.4 8 oktober 2022 59,8 tn 495 tn
Haskell Stack Öppen källkod 3.11.1 13 juni 2026 4,1 tn 136,7 tn
Pure Data Öppen källkod 0.57-0 5 oktober 2026 2,1 tn 9,7 tn
Arduino IDE Öppen källkod 2.3.10 18 augusti 2026 3,3 tn 494,3 tn