A Dependently Typed Functional Programming Language
Descrizione del produttore (inglese)
Cos’è idris?
idris è un software open source per Windows che rientra nella categoria IDE ed editor di codice.
Installazione e requisiti
Il produttore distribuisce pacchetti Portable per le versioni 64 bit di Windows. Il file di installazione principale pesa 1 KB. Funziona senza installazione (versione portable).
Popolarità e tipi di file
Il pacchetto Chocolatey è stato scaricato 2068 volte. Tra i programmi simili ci sono OpenCode, RStudio e Node.js (LTS).
Pro / Contro
Pro
- Open source: chiunque può esaminare e compilare il codice
- Portable: funziona senza installazione
- Download leggero (1 KB)
Contro
- Nessuna versione ARM64 nativa
- Il link di download ufficiale non ha risposto all’ultimo controllo
In breve: idris è un programma open source per Windows della categoria IDE ed editor di codice, per PC 64 bit.
Scaricare idris è sicuro?
- Il file è fornito da neon.se; conviene verificare che sia un mirror ufficiale del produttore
- Il link di download usa HTTPS
- L’hash SHA256 è pubblicato: il file si può verificare:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Apri il rapporto VirusTotal di questo hash - Il link non ha risposto all’ultimo controllo (26 ottobre 2026)
- Il codice sorgente è pubblico
- ExeAtlas non ospita, non incapsula e non modifica gli installer
Guida correlata: Come verificare l’hash SHA256 di un file su Windows
Versioni recenti
Tutte le versioni (1) ›| Versione | Data | Dimensione | File |
|---|---|---|---|
| 1.3.3Ultima | 1 KB | 64 bit ZIP |
Installazione da riga di comando
Installazione silenziosa ›choco install idris -yscoop install main/idrisFile di programma (.exe): idris.exe
Guida correlata: Come usare winget: installare e aggiornare app
Informazioni
- Categoria
- IDE ed editor di codice
- Licenza
- BSD-3-Clause
- Prezzo
- Gratis
- Codice sorgente
- github.com
- Requisiti
- Windows 11 / 10
- Architettura
- 64 bit
- Installer
- Portable
- Versione
- 1.3.3
- Versioni elencate
- 1
- Download Chocolatey
- 2068
- Sito ufficiale
- idris-lang.org
- Pacchetto Chocolatey
- idris
- Pacchetto Scoop
- main/idris
Valutazioni e recensioni
Ancora nessuna recensione.
Alternative a idris
Vedi tutti ›-
Open source285,2K ↓ -
Open source705,1K ↓ -
Open source4,9 Mln ↓ -
Open source88,8K ↓ -
Open source49,7K ↓ -
Open source136,7K ↓ -
Open source394,5K ↓ -
Open source94,6K ↓
Domande frequenti
idris è gratis?
Sì. idris è un software open source con licenza BSD-3-Clause.
Scaricare idris è sicuro?
Il file viene scaricato da neon.se; ExeAtlas non ospita né modifica il file. Si può confrontare il suo hash SHA256 con quello indicato qui oppure aprire il rapporto VirusTotal di quell’hash.
idris funziona su ARM (Windows on Arm)?
Non esiste una versione ARM64; Windows 11 su Arm può eseguire la versione 64 bit tramite emulazione.
idris si può usare senza diritti di amministratore?
Sì, è portable: basta estrarre l’archivio e avviare il programma.
Quali sono le alternative a idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans e Haxe. La pagina delle alternative le mette a confronto.
