A Dependently Typed Functional Programming Language
Описание от разработчика (английский)
Что такое idris?
idris — ПО для Windows с открытым исходным кодом, категория «IDE и редакторы кода».
Установка и системные требования
Разработчик предлагает установщики Портативная для систем 64-бит. Размер основного установщика — 1 КБ. Программа работает без установки (портативная версия).
Популярность и типы файлов
Пакет в Chocolatey скачан 2 068 раз. Похожие программы: 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
- 2 068
- Сайт
- 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. Их сравнение — на странице аналогов.
