A Dependently Typed Functional Programming Language
Nashr etuvchining tavsifi (inglizcha)
idris nima?
idris dasturi — Windows uchun ochiq kodli ilova, «IDE va kod muharrirlari» kategoriyasiga kiradi.
Oʻrnatish va tizim talablari
Nashr etuvchi 64 bitli tizimlar uchun Portativ oʻrnatish fayllarini taqdim etadi. Asosiy oʻrnatish faylining hajmi — 1 KB. Oʻrnatishsiz ishlaydi (portativ).
Ommaboplik va fayl turlari
Chocolatey paketi 2 068 marta yuklab olingan. Oʻxshash dasturlar: OpenCode, RStudio va Node.js (LTS).
Afzalliklari / Kamchiliklari
Afzalliklari
- Ochiq kodli: kodni istalgan kishi koʻrib chiqishi va yigʻishi mumkin
- Portativ: oʻrnatishsiz ishlaydi
- Kichik hajm (1 KB)
Kamchiliklari
- Mahalliy ARM64 versiyasi yoʻq
- Rasmiy yuklab olish havolasi soʻnggi tekshiruvda javob bermadi
Qisqacha xulosa: idris — 64 bitli kompyuterlar uchun ochiq kodli Windows vositasi («IDE va kod muharrirlari» kategoriyasi).
idris dasturini yuklab olish xavfsizmi?
- Fayl neon.se orqali beriladi; bu nashr etuvchining rasmiy koʻzgu sayti ekanini tekshiring
- Yuklab olish havolasi HTTPS protokolidan foydalanadi
- SHA256 xeshi eʼlon qilingan, shuning uchun faylni tekshirish mumkin:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Bu xesh uchun VirusTotal hisobotini ochish - Soʻnggi tekshiruvda havola javob bermadi (26-oktabr, 2026)
- Manba kodi ochiq
- ExeAtlas oʻrnatish fayllarini saqlamaydi, oʻramaydi va oʻzgartirmaydi
Tegishli qoʻllanma: Windowsda fayl SHA256 xeshini tekshirish
Soʻnggi versiyalar
Barcha 1 ta versiya ›| Versiya | Sana | Hajmi | Fayllar |
|---|---|---|---|
| 1.3.3Eng soʻnggi | 1 KB | 64 bitli ZIP |
Buyruq satridan oʻrnatish
Jim oʻrnatish ›choco install idris -yscoop install main/idrisDastur fayllari (.exe): idris.exe
Tegishli qoʻllanma: winget: dasturlarni oʻrnatish va yangilash
Maʼlumot
- Kategoriya
- IDE va kod muharrirlari
- Litsenziya
- BSD-3-Clause
- Narxi
- Bepul
- Manba kodi
- github.com
- Talablar
- Windows 11 / 10
- Arxitektura
- 64 bitli
- Oʻrnatuvchi turi
- Portativ
- Versiya
- 1.3.3
- Roʻyxatdagi versiyalar
- 1
- Chocolatey yuklab olishlari
- 2 068
- Veb-sayt
- idris-lang.org
- Chocolatey paketi
- idris
- Scoop paketi
- main/idris
Baholar va sharhlar
Hali sharhlar yoʻq. Birinchi boʻlib baholang.
idris dasturiga muqobillar
Barchasini koʻrish ›-
Ochiq kodli285,2 ming ↓ -
Ochiq kodli705,1 ming ↓ -
Ochiq kodli4,9 mln ↓ -
Ochiq kodli88,8 ming ↓ -
Ochiq kodli49,7 ming ↓ -
Ochiq kodli136,7 ming ↓ -
Ochiq kodli394,5 ming ↓ -
Ochiq kodli94,6 ming ↓
Koʻp beriladigan savollar
idris bepulmi?
Ha. idris — ochiq kodli dastur (BSD-3-Clause litsenziyasi).
idris dasturini yuklab olish xavfsizmi?
Fayl neon.se manzilidan yuklab olinadi. ExeAtlas faylni saqlamaydi va oʻzgartirmaydi. Yuklab olingan faylning SHA256 xeshini shu yerda koʻrsatilgani bilan solishtiring yoki bu xesh uchun VirusTotal hisobotini oching.
idris ARM protsessorida (Windows on Arm) ishlaydimi?
ARM64 versiyasi yoʻq; Windows 11 on Arm 64 bitli versiyasini emulyatsiya orqali ishga tushira oladi.
idris dasturidan administrator huquqlarisiz foydalanish mumkinmi?
Ha, u portativ: arxivdan chiqarib, ishga tushiring.
idris dasturiga qanday muqobillar bor?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans va Haxe. Muqobillar sahifasi ularni taqqoslaydi.
