مشهور: معلومات په AP ۱۴۰۵ لړم ۵ تازه شول

کټګورۍ

انټرنېټ۱٬۳۵۶
اړیکې۳۲۱
غږ او ویډیو۸۹۸
ګرافیک او ډیزاین۵۳۹
دفتري او تولیدي۱٬۱۲۴
د پراختیا وسایل۳٬۱۳۴
د AI وسایل۵۲۹
امنیت او محرمیت۳۸۵
د سیستم وسایل۳٬۱۱۴
لوبې۵۲۳
زده کړه او ساینس۲۳۹
شبکه او IT۲۸۴

د Lean بدیلونه

Programming Language and Theorem Prover

Lean FRO IDE او کوډ اېډیټرونه

د Lean په کټګورۍ کې ۱۲ Windows پروګرامونه، د ګډو ځانګړنو او شهرت له مخې ترتیب شوي.

  • OpenCode

    IDE او کوډ اېډیټرونه · OpenCode

    خلاصه سرچینه (open source) 1.19.4 ۲۸۵٫۲K ↓ ★ ۲۱۹٫۹K programming
  • RStudio

    IDE او کوډ اېډیټرونه · Posit Software

    خلاصه سرچینه (open source) 2026.10.0+233 ۷۰۵٫۱K ↓ ★ ۵٫۱K programming
  • Node.js (LTS)

    IDE او کوډ اېډیټرونه · Node.js Foundation

    خلاصه سرچینه (open source) 24.22.1 ۴٫۹M ↓ ★ ۱۲۲٫۵K programming
  • Apache NetBeans

    IDE او کوډ اېډیټرونه · Apache NetBeans

    خلاصه سرچینه (open source) 31 ۸۸٫۸K ↓ ★ ۳٫۱K programming
  • Haxe

    IDE او کوډ اېډیټرونه · Haxe Foundation

    خلاصه سرچینه (open source) 4.3.7 ۴۹٫۷K ↓ ★ ۷K language, programming, programming-language
  • VSCodium

    IDE او کوډ اېډیټرونه · VSCodium

    خلاصه سرچینه (open source) 1.143.17183 ۳۹۴٫۵K ↓ ★ ۳۳٫۸K
  • Processing

    IDE او کوډ اېډیټرونه · Processing Foundation

    خلاصه سرچینه (open source) 4.5.7 ۷۹٫۲K ↓ ★ ۵۱۸ programming
  • Thonny

    IDE او کوډ اېډیټرونه · Aivar Annamaa

    خلاصه سرچینه (open source) 5.0.0 ۹۴٫۶K ↓ ★ ۴K
  • GDevelop

    IDE او کوډ اېډیټرونه · GDevelop Team

    خلاصه سرچینه (open source) 5.6.285 ۱۲٫۳K ↓ ★ ۲۷٫۸K programming
  • mkcert

    IDE او کوډ اېډیټرونه · FiloSottile

    خلاصه سرچینه (open source) 1.4.4 ۴۹۵K ↓ ★ ۵۹٫۸K
  • Haskell Stack

    IDE او کوډ اېډیټرونه · commercialhaskell

    خلاصه سرچینه (open source) 3.11.1 ۱۳۶٫۷K ↓ ★ ۴٫۱K language, programming
  • Pure Data

    IDE او کوډ اېډیټرونه · Miller Puckette

    خلاصه سرچینه (open source) 0.57-0 ۹٫۷K ↓ ★ ۲٫۱K programming

پرتله

پروګرامجوازنسخهتازه شوید GitHub ستوريد Chocolatey ډاونلوډونه
Lean خلاصه سرچینه (open source) 4.35.0 AP ۱۴۰۵ تله ۲۱ ۹٫۶K —
OpenCode خلاصه سرچینه (open source) 1.19.4 AP ۱۴۰۵ تله ۳۰ ۲۱۹٫۹K ۲۸۵٫۲K
RStudio خلاصه سرچینه (open source) 2026.10.0+233 AP ۱۴۰۵ تله ۲۳ ۵٫۱K ۷۰۵٫۱K
Node.js (LTS) خلاصه سرچینه (open source) 24.22.1 AP ۱۴۰۵ تله ۳۰ ۱۲۲٫۵K ۴٫۹M
Apache NetBeans خلاصه سرچینه (open source) 31 AP ۱۴۰۵ زمری ۲۳ ۳٫۱K ۸۸٫۸K
Haxe خلاصه سرچینه (open source) 4.3.7 AP ۱۴۰۴ غویی ۱۹ ۷K ۴۹٫۷K
VSCodium خلاصه سرچینه (open source) 1.143.17183 AP ۱۴۰۵ لړم ۴ ۳۳٫۸K ۳۹۴٫۵K
Processing خلاصه سرچینه (open source) 4.5.7 AP ۱۴۰۵ تله ۲ ۵۱۸ ۷۹٫۲K
Thonny خلاصه سرچینه (open source) 5.0.0 AP ۱۴۰۵ غویی ۷ ۴K ۹۴٫۶K
GDevelop خلاصه سرچینه (open source) 5.6.285 AP ۱۴۰۵ تله ۲۹ ۲۷٫۸K ۱۲٫۳K
mkcert خلاصه سرچینه (open source) 1.4.4 AP ۱۴۰۱ تله ۱۶ ۵۹٫۸K ۴۹۵K
Haskell Stack خلاصه سرچینه (open source) 3.11.1 AP ۱۴۰۵ غبرگولی ۲۳ ۴٫۱K ۱۳۶٫۷K
Pure Data خلاصه سرچینه (open source) 0.57-0 AP ۱۴۰۵ تله ۱۳ ۲٫۱K ۹٫۷K