A Dependently Typed Functional Programming Language
Popis od výrobcu (angličtina)
Čo je idris?
idris je softvér pre Windows s otvoreným zdrojovým kódom, kategória „IDE a editory kódu“.
Inštalácia a systémové požiadavky
Výrobca ponúka inštalátory Prenosná verzia pre systémy 64-bit. Hlavný inštalátor má veľkosť 1 kB. Program funguje bez inštalácie (prenosná verzia).
Obľúbenosť a typy súborov
Balík v Chocolatey má 2 068 stiahnutí. Podobné programy: OpenCode, RStudio a Node.js (LTS).
Výhody / Nevýhody
Výhody
- Otvorený zdrojový kód: ktokoľvek ho môže skontrolovať a zostaviť
- Prenosná verzia: funguje bez inštalácie
- Malý inštalátor (1 kB)
Nevýhody
- Chýba natívne zostavenie ARM64
- Oficiálny odkaz na stiahnutie pri poslednej kontrole neodpovedal
V skratke: idris je program pre Windows s otvoreným zdrojovým kódom (kategória „IDE a editory kódu“); zostavenia: 64-bit.
Je stiahnutie programu idris bezpečné?
- Súbor sa sťahuje zo servera neon.se; odporúča sa overiť, či ide o oficiálne zrkadlo výrobcu
- Odkaz na stiahnutie používa HTTPS
- Hash SHA256 je zverejnený – súbor sa dá overiť:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Otvoriť správu VirusTotal pre tento hash - Pri poslednej kontrole odkaz neodpovedal (26. októbra 2026)
- Otvorený zdrojový kód
- ExeAtlas inštalátory neukladá, nebalí ani nemení
Súvisiaci návod: Ako vo Windows overiť hash SHA256 súboru
Posledné verzie
Všetky verzie (1) ›| Verzia | Dátum | Veľkosť | Súbory |
|---|---|---|---|
| 1.3.3Najnovšia | 1 kB | 64-bit ZIP |
Inštalácia z príkazového riadka
Tichá inštalácia ›choco install idris -yscoop install main/idrisProgramové súbory (.exe): idris.exe
Súvisiaci návod: Ako používať winget: inštalácia a aktualizácia programov
Informácie
- Kategória
- IDE a editory kódu
- Licencia
- BSD-3-Clause
- Cena
- Zadarmo
- Zdrojový kód
- github.com
- Požiadavky
- Windows 11 / 10
- Architektúra
- 64-bit
- Inštalátor
- Prenosná verzia
- Verzia
- 1.3.3
- Verzií v katalógu
- 1
- Stiahnutia z Chocolatey
- 2 068
- Web
- idris-lang.org
- Balík Chocolatey
- idris
- Balík Scoop
- main/idris
Hodnotenia a recenzie
Zatiaľ žiadne recenzie. Hodnotenie môžete pridať ako prví.
Alternatívy k programu idris
Zobraziť všetko ›-
Open source285,2 tis. ↓ -
Open source705,1 tis. ↓ -
Open source4,9 mil. ↓ -
Open source88,8 tis. ↓ -
Open source49,7 tis. ↓ -
Open source136,7 tis. ↓ -
Open source394,5 tis. ↓ -
Open source94,6 tis. ↓
Časté otázky
Je program idris zadarmo?
Áno. idris je program s otvoreným zdrojovým kódom (licencia BSD-3-Clause); stiahnutie aj používanie je zadarmo.
Je stiahnutie programu idris bezpečné?
Súbor sa sťahuje z neon.se; ExeAtlas súbor neukladá ani nemení. Porovnajte SHA256 stiahnutého súboru s hodnotou na tejto stránke alebo otvorte správu VirusTotal pre tento hash.
Funguje idris na ARM (Windows on Arm)?
Zostavenie ARM64 neexistuje; Windows 11 on Arm dokáže verziu 64-bit spustiť pomocou emulácie.
Dá sa program idris používať bez oprávnení správcu?
Áno, ide o prenosnú verziu: stačí ju rozbaliť a spustiť.
Aké sú alternatívy k programu idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans a Haxe. Porovnanie nájdete na stránke alternatív.
