Alternativas para idris no Windows
A Dependently Typed Functional Programming Language
- LicençaCódigo aberto
- Versão1.3.3
- Tamanho1 KB
- RequisitosWindows 10, 11
- Downloads no Chocolatey2,1 mil
12 programas para Windows da mesma categoria de idris, ordenados pelo que têm em comum e pela popularidade.
-
OpenCodeIDEs e editores de código · OpenCode
-
RStudioIDEs e editores de código · Posit Software
-
Node.js (LTS)IDEs e editores de código · Node.js Foundation
-
Apache NetBeansIDEs e editores de código · Apache NetBeans
-
HaxeIDEs e editores de código · Haxe Foundation
-
Haskell StackIDEs e editores de código · commercialhaskell
-
VSCodiumIDEs e editores de código · VSCodium
-
ThonnyIDEs e editores de código · Aivar Annamaa
-
GDevelopIDEs e editores de código · GDevelop Team
-
ProcessingIDEs e editores de código · Processing Foundation
-
mkcertIDEs e editores de código · FiloSottile
-
Pure DataIDEs e editores de código · Miller Puckette
Comparação
| Programa | Licença | Versão | Atualizado | Estrelas no GitHub | Downloads no Chocolatey |
|---|---|---|---|---|---|
| idris | Código aberto | 1.3.3 | — | 2,1 mil | |
| Código aberto | 1.19.5 | 28 de outubro de 2026 | 219,9 mil | 292,3 mil | |
| Código aberto | 2026.10.1+239 | 28 de outubro de 2026 | 5,1 mil | 707,6 mil | |
| Código aberto | 26.13.0 | 28 de outubro de 2026 | 122,5 mil | 4,9 mi | |
| Código aberto | 31 | 14 de agosto de 2026 | 3,1 mil | 88,8 mil | |
| Código aberto | 4.3.7 | 9 de maio de 2025 | 7 mil | 49,7 mil | |
| Código aberto | 3.11.1 | 13 de junho de 2026 | 4,1 mil | 136,7 mil | |
| Código aberto | 1.143.17232 | 28 de outubro de 2026 | 33,8 mil | 398,1 mil | |
| Código aberto | 5.0.1 | 29 de outubro de 2026 | 4 mil | 96,6 mil | |
| Código aberto | 5.6.285 | 21 de outubro de 2026 | 27,8 mil | 12,3 mil | |
| Código aberto | 4.5.7 | 24 de setembro de 2026 | 518 | 79,2 mil | |
| Código aberto | 1.4.4 | 8 de outubro de 2022 | 59,8 mil | 495 mil | |
| Código aberto | 0.57-0 | 5 de outubro de 2026 | 2,1 mil | 9,7 mil |