A Dependently Typed Functional Programming Language
Descrição do desenvolvedor (inglês)
O que é idris?
idris é um software de código aberto para Windows que aparece na categoria IDEs e editores de código.
Instalação e requisitos
O desenvolvedor disponibiliza instaladores Portátil para Windows 64 bits. O instalador principal tem 1 KB. Roda sem instalação (versão portátil).
Popularidade e tipos de arquivo
O pacote do Chocolatey já foi baixado 2.068 vezes. Entre os programas parecidos estão OpenCode, RStudio e Node.js (LTS).
Pontos positivos / Pontos negativos
Pontos positivos
- Código aberto: qualquer pessoa pode revisar e compilar o código
- Portátil: roda sem instalar
- Download leve (1 KB)
Pontos negativos
- Sem versão nativa ARM64
- O link oficial de download não respondeu na última verificação
Em resumo: idris é um programa de código aberto da categoria IDEs e editores de código, disponível para PCs 64 bits.
É seguro baixar idris?
- O arquivo vem de neon.se; confira se é um espelho oficial do desenvolvedor
- O link de download usa HTTPS
- Há um hash SHA256 publicado para você verificar o arquivo:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Abrir o relatório do VirusTotal para este hash - O link não respondeu na última verificação (26 de outubro de 2026)
- O código-fonte é público
- O ExeAtlas não hospeda, encapsula nem modifica instaladores
Guia relacionado: Como verificar o hash SHA256 de um arquivo no Windows
Versões recentes
Todas as 1 versões ›| Versão | Data | Tamanho | Arquivos |
|---|---|---|---|
| 1.3.3Atual | 1 KB | 64 bits ZIP |
Instalar pela linha de comando
Instalação silenciosa ›choco install idris -yscoop install main/idrisArquivos de programa (.exe): idris.exe
Guia relacionado: Como usar o winget: instalar e atualizar programas
Informações
- Categoria
- IDEs e editores de código
- Licença
- BSD-3-Clause
- Preço
- Grátis
- Código-fonte
- github.com
- Requisitos
- Windows 11 / 10
- Arquitetura
- 64 bits
- Instalador
- Portátil
- Versão
- 1.3.3
- Versões registradas
- 1
- Downloads no Chocolatey
- 2.068
- Site oficial
- idris-lang.org
- Pacote do Chocolatey
- idris
- Pacote do Scoop
- main/idris
Avaliações
Ainda não há avaliações. Seja o primeiro a dar uma nota.
Alternativas para idris
Ver tudo ›-
Código aberto285,2 mil ↓ -
Código aberto705,1 mil ↓ -
Código aberto4,9 mi ↓ -
Código aberto88,8 mil ↓ -
Código aberto49,7 mil ↓ -
Código aberto136,7 mil ↓ -
Código aberto394,5 mil ↓ -
Código aberto94,6 mil ↓
Perguntas frequentes
idris é grátis?
Sim. idris é um software de código aberto com licença BSD-3-Clause.
É seguro baixar idris?
O download vem de neon.se. O ExeAtlas não hospeda nem altera o arquivo. Você pode comparar o hash SHA256 do arquivo com o que aparece aqui ou abrir o relatório do VirusTotal para esse hash.
idris roda em ARM (Windows on Arm)?
Não há versão ARM64; o Windows 11 on Arm consegue rodar a versão 64 bits por emulação.
Dá para usar idris sem permissão de administrador?
Sim, é portátil: basta extrair e executar.
Quais são as alternativas para idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans e Haxe. A página de alternativas faz a comparação.
