လူကြိုက်များ - ဒေတာ အပ်ဒိတ် - ၂၀၂၆ အောက်တိုဘာ ၂၇

အမျိုးအစားများ

အင်တာနက်၁,၃၅၆
ဆက်သွယ်ရေး၃၂၁
အသံနှင့် ဗီဒီယို၈၉၈
ဂရပ်ဖစ်နှင့် ဒီဇိုင်း၅၃၉
ရုံးသုံးနှင့် ထုတ်လုပ်မှု၁,၁၂၄
Developer ကိရိယာများ၃,၁၃၄
AI ကိရိယာများ၅၂၉
လုံခြုံရေးနှင့် privacy၃၈၅
စနစ်ကိရိယာများ၃,၁၁၄
ဂိမ်းများ၅၂၃
ပညာရေးနှင့် သိပ္ပံ၂၃၉
ကွန်ရက်နှင့် IT၂၈၄

Lean အစားထိုးပရိုဂရမ်များ

Programming Language and Theorem Prover

Lean FRO IDE နှင့် code editor များ

Lean နှင့် အမျိုးအစားတူသော Windows ပရိုဂရမ် ၁၂ ခုကို တူညီချက်များနှင့် လူကြိုက်များမှုအလိုက် စီထားပါသည်။

  • OpenCode

    IDE နှင့် code editor များ · OpenCode

    ပွင့်လင်းရင်းမြစ် (open source) 1.19.4 ၂.၉ သိန်း ↓ ★ ၂.၂ သိန်း programming
  • RStudio

    IDE နှင့် code editor များ · Posit Software

    ပွင့်လင်းရင်းမြစ် (open source) 2026.10.0+233 ၇.၁ သိန်း ↓ ★ ၅.၁ ထောင် programming
  • Node.js (LTS)

    IDE နှင့် code editor များ · Node.js Foundation

    ပွင့်လင်းရင်းမြစ် (open source) 24.22.1 ၄.၉ သန်း ↓ ★ ၁.၂ သိန်း programming
  • Apache NetBeans

    IDE နှင့် code editor များ · Apache NetBeans

    ပွင့်လင်းရင်းမြစ် (open source) 31 ၈.၉ သောင်း ↓ ★ ၃.၁ ထောင် programming
  • Haxe

    IDE နှင့် code editor များ · Haxe Foundation

    ပွင့်လင်းရင်းမြစ် (open source) 4.3.7 ၅ သောင်း ↓ ★ ၇ ထောင် language, programming, programming-language
  • VSCodium

    IDE နှင့် code editor များ · VSCodium

    ပွင့်လင်းရင်းမြစ် (open source) 1.143.17183 ၃.၉ သိန်း ↓ ★ ၃.၄ သောင်း
  • Processing

    IDE နှင့် code editor များ · Processing Foundation

    ပွင့်လင်းရင်းမြစ် (open source) 4.5.7 ၇.၉ သောင်း ↓ ★ ၅၁၈ programming
  • Thonny

    IDE နှင့် code editor များ · Aivar Annamaa

    ပွင့်လင်းရင်းမြစ် (open source) 5.0.0 ၉.၅ သောင်း ↓ ★ ၄ ထောင်
  • GDevelop

    IDE နှင့် code editor များ · GDevelop Team

    ပွင့်လင်းရင်းမြစ် (open source) 5.6.285 ၁.၂ သောင်း ↓ ★ ၂.၈ သောင်း programming
  • mkcert

    IDE နှင့် code editor များ · FiloSottile

    ပွင့်လင်းရင်းမြစ် (open source) 1.4.4 ၄.၉ သိန်း ↓ ★ ၆ သောင်း
  • Haskell Stack

    IDE နှင့် code editor များ · commercialhaskell

    ပွင့်လင်းရင်းမြစ် (open source) 3.11.1 ၁.၄ သိန်း ↓ ★ ၄.၁ ထောင် language, programming
  • Pure Data

    IDE နှင့် code editor များ · Miller Puckette

    ပွင့်လင်းရင်းမြစ် (open source) 0.57-0 ၉.၇ ထောင် ↓ ★ ၂.၁ ထောင် programming

နှိုင်းယှဉ်ချက်

ပရိုဂရမ်လိုင်စင်ဗားရှင်းအပ်ဒိတ်GitHub ကြယ်Chocolatey ဒေါင်းလုဒ်
Lean ပွင့်လင်းရင်းမြစ် (open source) 4.35.0 ၂၀၂၆ အောက်တိုဘာ ၁၃ ၉.၆ ထောင် —
OpenCode ပွင့်လင်းရင်းမြစ် (open source) 1.19.4 ၂၀၂၆ အောက်တိုဘာ ၂၂ ၂.၂ သိန်း ၂.၉ သိန်း
RStudio ပွင့်လင်းရင်းမြစ် (open source) 2026.10.0+233 ၂၀၂၆ အောက်တိုဘာ ၁၅ ၅.၁ ထောင် ၇.၁ သိန်း
Node.js (LTS) ပွင့်လင်းရင်းမြစ် (open source) 24.22.1 ၂၀၂၆ အောက်တိုဘာ ၂၂ ၁.၂ သိန်း ၄.၉ သန်း
Apache NetBeans ပွင့်လင်းရင်းမြစ် (open source) 31 ၂၀၂၆ ဩဂုတ် ၁၄ ၃.၁ ထောင် ၈.၉ သောင်း
Haxe ပွင့်လင်းရင်းမြစ် (open source) 4.3.7 ၂၀၂၅ မေ ၉ ၇ ထောင် ၅ သောင်း
VSCodium ပွင့်လင်းရင်းမြစ် (open source) 1.143.17183 ၂၀၂၆ အောက်တိုဘာ ၂၆ ၃.၄ သောင်း ၃.၉ သိန်း
Processing ပွင့်လင်းရင်းမြစ် (open source) 4.5.7 ၂၀၂၆ စက်တင်ဘာ ၂၄ ၅၁၈ ၇.၉ သောင်း
Thonny ပွင့်လင်းရင်းမြစ် (open source) 5.0.0 ၂၀၂၆ ဧပြီ ၂၇ ၄ ထောင် ၉.၅ သောင်း
GDevelop ပွင့်လင်းရင်းမြစ် (open source) 5.6.285 ၂၀၂၆ အောက်တိုဘာ ၂၁ ၂.၈ သောင်း ၁.၂ သောင်း
mkcert ပွင့်လင်းရင်းမြစ် (open source) 1.4.4 ၂၀၂၂ အောက်တိုဘာ ၈ ၆ သောင်း ၄.၉ သိန်း
Haskell Stack ပွင့်လင်းရင်းမြစ် (open source) 3.11.1 ၂၀၂၆ ဇွန် ၁၃ ၄.၁ ထောင် ၁.၄ သိန်း
Pure Data ပွင့်လင်းရင်းမြစ် (open source) 0.57-0 ၂၀၂၆ အောက်တိုဘာ ၅ ၂.၁ ထောင် ၉.၇ ထောင်