A Dependently Typed Functional Programming Language
Descripción del desarrollador (inglés)
¿Qué es idris?
idris es software de código abierto para Windows incluido en la categoría IDE y editores de código.
Instalación y requisitos
El desarrollador ofrece instaladores Portable para Windows de 64 bits. El instalador principal ocupa 1 KB. Funciona sin instalación (versión portable).
Popularidad y tipos de archivo
El paquete de Chocolatey suma 2068 descargas. Entre los programas similares figuran OpenCode, RStudio y Node.js (LTS).
Ventajas / Inconvenientes
Ventajas
- Código abierto: cualquiera puede revisar y compilar el código
- Portable: funciona sin instalar
- Descarga ligera (1 KB)
Inconvenientes
- Sin versión nativa para ARM64
- El enlace de descarga oficial no respondió en la última comprobación
En resumen: idris es un programa de código abierto de la categoría IDE y editores de código, disponible para equipos de 64 bits.
¿Es seguro descargar idris?
- El archivo se sirve desde neon.se; conviene comprobar que es una réplica oficial del desarrollador
- El enlace de descarga usa HTTPS
- Hay un hash SHA256 publicado para verificar el archivo:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Abrir el informe de VirusTotal de este hash - El enlace no respondió en la última comprobación (26 de octubre de 2026)
- El código fuente es público
- ExeAtlas no aloja, envuelve ni modifica instaladores
Guía relacionada: Cómo comprobar el hash SHA256 de un archivo en Windows
Versiones recientes
Las 1 versiones ›| Versión | Fecha | Tamaño | Archivos |
|---|---|---|---|
| 1.3.3Última | 1 KB | 64 bits ZIP |
Instalar desde la línea de comandos
Instalación silenciosa ›choco install idris -yscoop install main/idrisArchivos de programa (.exe): idris.exe
Guía relacionada: Cómo usar winget: instalar y actualizar programas
Información
- Categoría
- IDE y editores de código
- Licencia
- BSD-3-Clause
- Precio
- Gratis
- Código fuente
- github.com
- Requisitos
- Windows 11 / 10
- Arquitectura
- 64 bits
- Instalador
- Portable
- Versión
- 1.3.3
- Versiones registradas
- 1
- Descargas en Chocolatey
- 2068
- Sitio web
- idris-lang.org
- Paquete de Chocolatey
- idris
- Paquete de Scoop
- main/idris
Valoraciones y opiniones
Todavía no hay opiniones.
Alternativas a idris
Ver todo ›-
Código abierto285,2 mil ↓ -
Código abierto705,1 mil ↓ -
Código abierto4,9 M ↓ -
Código abierto88,8 mil ↓ -
Código abierto49,7 mil ↓ -
Código abierto136,7 mil ↓ -
Código abierto394,5 mil ↓ -
Código abierto94,6 mil ↓
Preguntas frecuentes
¿Es gratis idris?
Sí. idris es software de código abierto con licencia BSD-3-Clause.
¿Es seguro descargar idris?
La descarga procede de neon.se. ExeAtlas no aloja ni modifica el archivo. Se puede comparar su hash SHA256 con el que aparece aquí o abrir el informe de VirusTotal de ese hash.
¿Funciona idris en ARM (Windows on Arm)?
No hay versión para ARM64; Windows 11 on Arm puede ejecutar la versión de 64 bits mediante emulación.
¿Se puede usar idris sin permisos de administrador?
Sí, es portable: basta con descomprimirlo y ejecutarlo.
¿Qué alternativas hay a idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans y Haxe. La página de alternativas los compara.
