A Dependently Typed Functional Programming Language
Descrierea dezvoltatorului (engleză)
Ce este idris?
idris este un software open source pentru Windows, încadrat în categoria IDE-uri și editoare de cod.
Instalare și cerințe
Dezvoltatorul oferă instalatoare Portabil pentru Windows pe 64 de biți. Instalatorul principal are 1 KB. Funcționează fără instalare (versiune portabilă).
Popularitate și tipuri de fișiere
Pachetul Chocolatey a fost descărcat de 2.068 de ori. Printre programele similare se numără OpenCode, RStudio și Node.js (LTS).
Avantaje / Dezavantaje
Avantaje
- Open source: codul poate fi verificat și compilat de oricine
- Portabil: rulează fără instalare
- Descărcare mică (1 KB)
Dezavantaje
- Fără versiune nativă ARM64
- Linkul oficial de descărcare nu a răspuns la ultima verificare
Pe scurt: idris este un program open source din categoria IDE-uri și editoare de cod, disponibil pentru calculatoare cu 64 de biți.
Este sigur să descărcați idris?
- Fișierul este livrat de neon.se; verificați dacă este o oglindă oficială a dezvoltatorului
- Linkul de descărcare folosește HTTPS
- Există un hash SHA256 publicat pentru verificarea fișierului:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Deschideți raportul VirusTotal pentru acest hash - Linkul nu a răspuns la ultima verificare (26 octombrie 2026)
- Codul sursă este public
- ExeAtlas nu găzduiește, nu împachetează și nu modifică instalatoare
Ghid asociat: Cum verificați hash-ul SHA256 al unui fișier în Windows
Versiuni recente
O singură versiune ›| Versiune | Data | Dimensiune | Fișiere |
|---|---|---|---|
| 1.3.3Cea mai nouă | 1 KB | 64 de biți ZIP |
Instalare din linia de comandă
Instalare silențioasă ›choco install idris -yscoop install main/idrisFișiere de program (.exe): idris.exe
Ghid asociat: Cum se folosește winget: instalare și actualizare
Informații
- Categorie
- IDE-uri și editoare de cod
- Licență
- BSD-3-Clause
- Preț
- Gratuit
- Cod sursă
- github.com
- Cerințe
- Windows 11 / 10
- Arhitectură
- 64 de biți
- Instalator
- Portabil
- Versiune
- 1.3.3
- Versiuni listate
- 1
- Descărcări Chocolatey
- 2.068
- Site web
- idris-lang.org
- Pachet Chocolatey
- idris
- Pachet Scoop
- main/idris
Evaluări și recenzii
Nicio recenzie încă.
Alternative la idris
Vezi tot ›-
Open source285,2 K ↓ -
Open source705,1 K ↓ -
Open source4,9 mil. ↓ -
Open source88,8 K ↓ -
Open source49,7 K ↓ -
Open source136,7 K ↓ -
Open source394,5 K ↓ -
Open source94,6 K ↓
Întrebări frecvente
Este idris gratuit?
Da. idris este un software open source cu licența BSD-3-Clause.
Este sigur să descărcați idris?
Fișierul se descarcă de pe neon.se. ExeAtlas nu găzduiește și nu modifică fișierul. Hash-ul SHA256 al fișierului poate fi comparat cu cel afișat aici, iar raportul VirusTotal pentru acel hash poate fi deschis de pe această pagină.
Funcționează idris pe ARM (Windows on Arm)?
Nu există o versiune ARM64; Windows 11 on Arm poate rula versiunea pentru 64 de biți prin emulare.
Se poate folosi idris fără drepturi de administrator?
Da, este portabil: se dezarhivează și se rulează.
Ce alternative există la idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans și Haxe. Pagina de alternative le compară.
