Suositut: Tiedot päivitetty 3. marraskuuta 2026

Kategoriat

Internet1 364
Viestintä322
Ääni ja video904
Grafiikka ja suunnittelu544
Toimisto ja tuottavuus1 127
Kehitystyökalut3 147
Tekoälytyökalut535
Tietoturva ja yksityisyys392
Järjestelmätyökalut3 146
Pelit526
Opiskelu ja tiede239
Verkko ja IT283

Lean: vaihtoehtoiset ohjelmat

Programming Language and Theorem Prover

Lean FRO IDE:t ja koodieditorit

12 Windows-ohjelmaa samasta kategoriasta kuin Lean, järjestettynä yhteisten ominaisuuksien ja suosion mukaan.

  • OpenCode

    IDE:t ja koodieditorit · OpenCode

    Avoin lähdekoodi 1.19.5 292,3 t. ↓ ★ 219,9 t. programming
  • RStudio

    IDE:t ja koodieditorit · Posit Software

    Avoin lähdekoodi 2026.10.1+239 707,6 t. ↓ ★ 5,1 t. programming
  • Node.js (LTS)

    IDE:t ja koodieditorit · Node.js Foundation

    Avoin lähdekoodi 26.13.0 4,9 milj. ↓ ★ 122,5 t. programming
  • Apache NetBeans

    IDE:t ja koodieditorit · Apache NetBeans

    Avoin lähdekoodi 31 88,8 t. ↓ ★ 3,1 t. programming
  • Haxe

    IDE:t ja koodieditorit · Haxe Foundation

    Avoin lähdekoodi 4.3.7 49,7 t. ↓ ★ 7 t. language, programming, programming-language
  • VSCodium

    IDE:t ja koodieditorit · VSCodium

    Avoin lähdekoodi 1.143.17232 398,1 t. ↓ ★ 33,8 t.
  • Processing

    IDE:t ja koodieditorit · Processing Foundation

    Avoin lähdekoodi 4.5.7 79,2 t. ↓ ★ 518 programming
  • Thonny

    IDE:t ja koodieditorit · Aivar Annamaa

    Avoin lähdekoodi 5.0.1 96,6 t. ↓ ★ 4 t.
  • GDevelop

    IDE:t ja koodieditorit · GDevelop Team

    Avoin lähdekoodi 5.6.286 12,3 t. ↓ ★ 27,8 t. programming
  • mkcert

    IDE:t ja koodieditorit · FiloSottile

    Avoin lähdekoodi 1.4.4 495 t. ↓ ★ 59,8 t.
  • Haskell Stack

    IDE:t ja koodieditorit · commercialhaskell

    Avoin lähdekoodi 3.11.1 136,7 t. ↓ ★ 4,1 t. language, programming
  • Pure Data

    IDE:t ja koodieditorit · Miller Puckette

    Avoin lähdekoodi 0.57-0 9,7 t. ↓ ★ 2,1 t. programming

Vertailu

OhjelmaLisenssiVersioPäivitettyGitHub-tähdetChocolatey-lataukset
Lean Avoin lähdekoodi 4.35.0 13. lokakuuta 2026 9,6 t. —
OpenCode Avoin lähdekoodi 1.19.5 28. lokakuuta 2026 219,9 t. 292,3 t.
RStudio Avoin lähdekoodi 2026.10.1+239 28. lokakuuta 2026 5,1 t. 707,6 t.
Node.js (LTS) Avoin lähdekoodi 26.13.0 28. lokakuuta 2026 122,5 t. 4,9 milj.
Apache NetBeans Avoin lähdekoodi 31 14. elokuuta 2026 3,1 t. 88,8 t.
Haxe Avoin lähdekoodi 4.3.7 9. toukokuuta 2025 7 t. 49,7 t.
VSCodium Avoin lähdekoodi 1.143.17232 28. lokakuuta 2026 33,8 t. 398,1 t.
Processing Avoin lähdekoodi 4.5.7 24. syyskuuta 2026 518 79,2 t.
Thonny Avoin lähdekoodi 5.0.1 29. lokakuuta 2026 4 t. 96,6 t.
GDevelop Avoin lähdekoodi 5.6.286 2. marraskuuta 2026 27,8 t. 12,3 t.
mkcert Avoin lähdekoodi 1.4.4 8. lokakuuta 2022 59,8 t. 495 t.
Haskell Stack Avoin lähdekoodi 3.11.1 13. kesäkuuta 2026 4,1 t. 136,7 t.
Pure Data Avoin lähdekoodi 0.57-0 5. lokakuuta 2026 2,1 t. 9,7 t.