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. Сравнение има на страницата с алтернативи.
