Populares: Dados atualizados em 2 de novembro de 2026

Categorias

Internet1.362
Comunicação321
Áudio e vídeo899
Gráficos e design543
Escritório e produtividade1.121
Programação3.142
Inteligência artificial535
Segurança e privacidade390
Ferramentas do sistema3.140
Jogos525
Educação e ciência239
Redes e TI282

Alternativas para idris no Windows

A Dependently Typed Functional Programming Language

12 programas para Windows da mesma categoria de idris, ordenados pelo que têm em comum e pela popularidade.

  • OpenCode

    IDEs e editores de código · OpenCode

    Código aberto 1.19.5 292,3 mil ↓ ★ 219,9 mil programming
  • RStudio

    IDEs e editores de código · Posit Software

    Código aberto 2026.10.1+239 707,6 mil ↓ ★ 5,1 mil programming
  • Node.js (LTS)

    IDEs e editores de código · Node.js Foundation

    Código aberto 26.13.0 4,9 mi ↓ ★ 122,5 mil programming
  • Apache NetBeans

    IDEs e editores de código · Apache NetBeans

    Código aberto 31 88,8 mil ↓ ★ 3,1 mil programming
  • Haxe

    IDEs e editores de código · Haxe Foundation

    Código aberto 4.3.7 49,7 mil ↓ ★ 7 mil programming, language
  • Haskell Stack

    IDEs e editores de código · commercialhaskell

    Código aberto 3.11.1 136,7 mil ↓ ★ 4,1 mil functional, programming, language
  • VSCodium

    IDEs e editores de código · VSCodium

    Código aberto 1.143.17232 398,1 mil ↓ ★ 33,8 mil
  • Thonny

    IDEs e editores de código · Aivar Annamaa

    Código aberto 5.0.1 96,6 mil ↓ ★ 4 mil
  • GDevelop

    IDEs e editores de código · GDevelop Team

    Código aberto 5.6.285 12,3 mil ↓ ★ 27,8 mil programming
  • Processing

    IDEs e editores de código · Processing Foundation

    Código aberto 4.5.7 79,2 mil ↓ ★ 518 programming
  • mkcert

    IDEs e editores de código · FiloSottile

    Código aberto 1.4.4 495 mil ↓ ★ 59,8 mil
  • Pure Data

    IDEs e editores de código · Miller Puckette

    Código aberto 0.57-0 9,7 mil ↓ ★ 2,1 mil programming

Comparação

ProgramaLicençaVersãoAtualizadoEstrelas no GitHubDownloads no Chocolatey
idris Código aberto 1.3.3 — 2,1 mil
OpenCode Código aberto 1.19.5 28 de outubro de 2026 219,9 mil 292,3 mil
RStudio Código aberto 2026.10.1+239 28 de outubro de 2026 5,1 mil 707,6 mil
Node.js (LTS) Código aberto 26.13.0 28 de outubro de 2026 122,5 mil 4,9 mi
Apache NetBeans Código aberto 31 14 de agosto de 2026 3,1 mil 88,8 mil
Haxe Código aberto 4.3.7 9 de maio de 2025 7 mil 49,7 mil
Haskell Stack Código aberto 3.11.1 13 de junho de 2026 4,1 mil 136,7 mil
VSCodium Código aberto 1.143.17232 28 de outubro de 2026 33,8 mil 398,1 mil
Thonny Código aberto 5.0.1 29 de outubro de 2026 4 mil 96,6 mil
GDevelop Código aberto 5.6.285 21 de outubro de 2026 27,8 mil 12,3 mil
Processing Código aberto 4.5.7 24 de setembro de 2026 518 79,2 mil
mkcert Código aberto 1.4.4 8 de outubro de 2022 59,8 mil 495 mil
Pure Data Código aberto 0.57-0 5 de outubro de 2026 2,1 mil 9,7 mil