Phổ biến: Dữ liệu cập nhật ngày 13 tháng 11, 2026

Danh mục

Internet1.412
Liên lạc327
Âm thanh và video934
Đồ họa và thiết kế563
Văn phòng1.172
Công cụ lập trình3.272
Công cụ AI599
Bảo mật và quyền riêng tư407
Công cụ hệ thống3.179
Game543
Giáo dục và khoa học240
Mạng và IT292

Phần mềm thay thế Lean

Programming Language and Theorem Prover

Lean FRO IDE và trình soạn thảo mã

12 phần mềm Windows cùng danh mục với Lean, sắp xếp theo điểm chung và mức độ phổ biến.

  • RStudio

    IDE và trình soạn thảo mã · Posit Software

    Mã nguồn mở 2026.11.0+203 707,6 N ↓ ★ 5,1 N programming
  • Node.js (LTS)

    IDE và trình soạn thảo mã · Node.js Foundation

    Mã nguồn mở 26.13.1 4,9 Tr ↓ ★ 122,5 N programming
  • Apache NetBeans

    IDE và trình soạn thảo mã · Apache NetBeans

    Mã nguồn mở 31 88,8 N ↓ ★ 3,1 N programming
  • Haxe

    IDE và trình soạn thảo mã · Haxe Foundation

    Mã nguồn mở 4.3.7 49,7 N ↓ ★ 7 N language, programming, programming-language
  • VSCodium

    IDE và trình soạn thảo mã · VSCodium

    Mã nguồn mở 1.143.17232 398,1 N ↓ ★ 33,8 N
  • Processing

    IDE và trình soạn thảo mã · Processing Foundation

    Mã nguồn mở 4.5.7 79,2 N ↓ ★ 518 programming
  • Thonny

    IDE và trình soạn thảo mã · Aivar Annamaa

    Mã nguồn mở 5.0.1 96,6 N ↓ ★ 4 N
  • GDevelop

    IDE và trình soạn thảo mã · GDevelop Team

    Mã nguồn mở 5.6.287 12,9 N ↓ ★ 27,8 N programming
  • mkcert

    IDE và trình soạn thảo mã · FiloSottile

    Mã nguồn mở 1.4.4 495 N ↓ ★ 59,8 N
  • Haskell Stack

    IDE và trình soạn thảo mã · commercialhaskell

    Mã nguồn mở 3.11.1 136,7 N ↓ ★ 4,1 N language, programming
  • Pure Data

    IDE và trình soạn thảo mã · Miller Puckette

    Mã nguồn mở 0.57-0 9,7 N ↓ ★ 2,1 N programming
  • Arduino IDE

    IDE và trình soạn thảo mã · Arduino SA

    Mã nguồn mở 2.3.11 494,3 N ↓ ★ 3,3 N programming

So sánh

Phần mềmGiấy phépPhiên bảnCập nhậtSao GitHubLượt tải Chocolatey
Lean Mã nguồn mở 4.35.0 13 tháng 10, 2026 9,6 N —
RStudio Mã nguồn mở 2026.11.0+203 12 tháng 11, 2026 5,1 N 707,6 N
Node.js (LTS) Mã nguồn mở 26.13.1 11 tháng 11, 2026 122,5 N 4,9 Tr
Apache NetBeans Mã nguồn mở 31 14 tháng 8, 2026 3,1 N 88,8 N
Haxe Mã nguồn mở 4.3.7 9 tháng 5, 2025 7 N 49,7 N
VSCodium Mã nguồn mở 1.143.17232 28 tháng 10, 2026 33,8 N 398,1 N
Processing Mã nguồn mở 4.5.7 24 tháng 9, 2026 518 79,2 N
Thonny Mã nguồn mở 5.0.1 29 tháng 10, 2026 4 N 96,6 N
GDevelop Mã nguồn mở 5.6.287 4 tháng 11, 2026 27,8 N 12,9 N
mkcert Mã nguồn mở 1.4.4 8 tháng 10, 2022 59,8 N 495 N
Haskell Stack Mã nguồn mở 3.11.1 13 tháng 6, 2026 4,1 N 136,7 N
Pure Data Mã nguồn mở 0.57-0 5 tháng 10, 2026 2,1 N 9,7 N
Arduino IDE Mã nguồn mở 2.3.11 12 tháng 11, 2026 3,3 N 494,3 N