A Dependently Typed Functional Programming Language
Апісанне ад распрацоўшчыка (англійская)
Што такое idris?
idris — ПЗ для Windows з адкрытым зыходным кодам, катэгорыя «IDE і рэдактары кода».
Устаноўка і сістэмныя патрабаванні
Распрацоўшчык прапануе ўсталёўшчыкі Партатыўная для сістэм 64-біт. Памер асноўнага ўсталёўшчыка — 1 КБ. Праграма працуе без устаноўкі (партатыўная версія).
Папулярнасць і тыпы файлаў
Пакет у Chocolatey спампавалі 2068 разоў. Падобныя праграмы: OpenCode, RStudio і Node.js (LTS).
Перавагі / Недахопы
Перавагі
- Адкрыты зыходны код: яго можна праверыць і сабраць самастойна
- Партатыўная версія: працуе без устаноўкі
- Невялікі ўсталёўшчык (1 КБ)
Недахопы
- Няма натыўнай зборкі ARM64
- Афіцыйная спасылка на спампоўку не адказала падчас апошняй праверкі
Коратка: idris — праграма для Windows з адкрытым зыходным кодам (катэгорыя «IDE і рэдактары кода»); зборкі: 64-біт.
Ці бяспечна спампоўваць праграму idris?
- Файл спампоўваецца з сервера neon.se; варта пераканацца, што гэта афіцыйнае люстэрка распрацоўшчыка
- Спасылка на спампоўку выкарыстоўвае HTTPS
- Апублікаваны хэш SHA256 — файл можна праверыць:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Адкрыць справаздачу VirusTotal для гэтага хэша - Падчас апошняй праверкі спасылка не адказала (26 кастрычніка 2026 г.)
- Зыходны код адкрыты
- ExeAtlas не захоўвае, не абгортвае і не змяняе ўсталёўшчыкі
Інструкцыя па тэме: Як праверыць хэш SHA256 файла ў Windows
Апошнія версіі
Усе версіі (1) ›| Версія | Дата | Памер | Файлы |
|---|---|---|---|
| 1.3.3Апошняя | 1 КБ | 64-біт ZIP |
Устаноўка з каманднага радка
Ціхая ўстаноўка ›choco install idris -yscoop install main/idrisФайлы праграм (.exe): idris.exe
Інструкцыя па тэме: Як карыстацца winget: устаноўка і абнаўленне
Інфармацыя
- Катэгорыя
- IDE і рэдактары кода
- Ліцэнзія
- BSD-3-Clause
- Кошт
- Бясплатна
- Зыходны код
- github.com
- Патрабаванні
- Windows 11 / 10
- Архітэктура
- 64-біт
- Усталёўшчык
- Партатыўная
- Версія
- 1.3.3
- Версій у каталогу
- 1
- Спампоўкі Chocolatey
- 2068
- Сайт
- idris-lang.org
- Пакет Chocolatey
- idris
- Пакет Scoop
- main/idris
Ацэнкі і водгукі
Водгукаў пакуль няма. Можна ацаніць першым.
Аналагі праграмы idris
Паказаць усе ›-
Адкрыты код285,2 тыс. ↓ -
Адкрыты код705,1 тыс. ↓ -
Адкрыты код4,9 млн ↓ -
Адкрыты код88,8 тыс. ↓ -
Адкрыты код49,7 тыс. ↓ -
Адкрыты код136,7 тыс. ↓ -
Адкрыты код394,5 тыс. ↓ -
Адкрыты код94,6 тыс. ↓
Частыя пытанні
Праграма idris бясплатная?
Так. idris — праграма з адкрытым зыходным кодам (ліцэнзія BSD-3-Clause); спампаваць і выкарыстоўваць яе можна бясплатна.
Ці бяспечна спампоўваць праграму idris?
Файл спампоўваецца з neon.se; ExeAtlas не захоўвае і не змяняе файл. Параўнайце SHA256 спампаванага файла з пазначаным на гэтай старонцы або адкрыйце справаздачу VirusTotal для гэтага хэша.
Ці працуе idris на ARM (Windows on Arm)?
Зборкі ARM64 няма; Windows 11 on Arm можа запусціць версію 64-біт праз эмуляцыю.
Ці можна карыстацца праграмай idris без правоў адміністратара?
Так, гэта партатыўная версія: дастаткова распакаваць архіў і запусціць праграму.
Якія ёсць аналагі праграмы idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans і Haxe. Іх параўнанне — на старонцы аналагаў.
