Populares: Datos actualizados el 7 de noviembre de 2026

Categorías

Internet1377
Comunicación323
Audio y vídeo913
Gráficos y diseño549
Ofimática y productividad1136
Programación3175
Inteligencia artificial552
Seguridad y privacidad397
Herramientas del sistema3156
Juegos532
Educación y ciencia239
Redes e informática291

Descargar idris 1.3.3 para Windows

A Dependently Typed Functional Programming Language

Esta es la versión actual.

Archivos de instalación 1.3.3

ArquitecturaTipoÁmbitoTamaño del archivoDescargarSHA256
64 bits ZIP → Portable — 1 KB neon.se VirusTotal

El enlace y el SHA256 proceden del manifiesto comunitario del Administrador de paquetes de Windows. Conviene comparar el hash del archivo descargado antes de ejecutarlo.

Lo más popular en IDE y editores de código

Ver todo
  1. RStudioIDE y editores de código · Posit Software
  2. Node.js (LTS)IDE y editores de código · Node.js Foundation
  3. Apache NetBeansIDE y editores de código · Apache NetBeans
  4. VSCodiumIDE y editores de código · VSCodium
  5. HaxeIDE y editores de código · Haxe Foundation
  6. ThonnyIDE y editores de código · Aivar Annamaa
  7. GDevelopIDE y editores de código · GDevelop Team
  8. mkcertIDE y editores de código · FiloSottile
  9. ProcessingIDE y editores de código · Processing Foundation
  10. Android StudioIDE y editores de código · Google LLC

Etiquetas

Compartir