A Dependently Typed Functional Programming Language
厂商介绍（英语）
idris是什么软件？
idris是「IDE与代码编辑器」分类下的一款开源Windows软件。
安装与系统要求
官方为64位 Windows提供绿色版格式的安装包。主安装包大小为1 KB。无需安装即可运行（绿色版）。
热度与文件关联
Chocolatey软件包累计下载2,068次。同类软件还有OpenCode、RStudio和Node.js (LTS)。
优点 / 不足
优点
- 开源：任何人都可以查看和编译源代码
- 绿色版，无需安装
- 安装包小巧（1 KB）
不足
- 没有原生ARM64版本
- 最近一次检测时官方下载链接无响应
总结: idris是一款适用于64位电脑的开源Windows软件，归入「IDE与代码编辑器」类。
idris下载安全吗？
- 文件由neon.se提供，请确认它是厂商的官方镜像
- 下载链接使用HTTPS
- 已公布SHA256值，可校验文件完整性:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· 查看该哈希值的VirusTotal报告 - 最近一次检测时链接无响应（2026年10月26日）
- 源代码公开
- ExeAtlas不托管、不捆绑、不修改安装包
相关教程: Windows下如何校验文件的SHA256哈希值
最近版本
全部1个版本 ›命令行安装
静默安装 ›PowerShell
choco
choco install idris -yscoop
scoop 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
评分与评价
–
0条评分
50
40
30
20
10
暂无评价，欢迎第一个评分。
idris替代软件
查看全部 ›-
开源28.5万 ↓ -
开源70.5万 ↓ -
开源493.2万 ↓ -
开源8.9万 ↓ -
开源5万 ↓ -
开源13.7万 ↓ -
开源39.4万 ↓ -
开源9.5万 ↓
常见问题
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。替代软件页面对它们做了对比。
