A Dependently Typed Functional Programming Language
Popis od výrobce (angličtina)
Co je idris?
idris je software pro Windows s otevřeným zdrojovým kódem, kategorie „IDE a editory kódu“.
Instalace a systémové požadavky
Výrobce nabízí instalátory Přenosná verze pro systémy 64bit. Hlavní instalátor má velikost 1 kB. Program funguje bez instalace (přenosná verze).
Oblíbenost a typy souborů
Balíček v Chocolatey má 2 068 stažení. Podobné programy: OpenCode, RStudio a Node.js (LTS).
Výhody / Nevýhody
Výhody
- Otevřený zdrojový kód: kdokoli ho může zkontrolovat a sestavit
- Přenosná verze: funguje bez instalace
- Malý instalátor (1 kB)
Nevýhody
- Chybí nativní sestavení ARM64
- Oficiální odkaz ke stažení při poslední kontrole neodpověděl
Ve zkratce: idris je program pro Windows s otevřeným zdrojovým kódem (kategorie „IDE a editory kódu“); sestavení: 64bit.
Je stažení programu idris bezpečné?
- Soubor se stahuje ze serveru neon.se; je dobré ověřit, že jde o oficiální zrcadlo výrobce
- Odkaz ke stažení používá HTTPS
- Hash SHA256 je zveřejněn – soubor lze ověřit:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Otevřít zprávu VirusTotal pro tento hash - Při poslední kontrole odkaz neodpověděl (26. října 2026)
- Otevřený zdrojový kód
- ExeAtlas instalátory neukládá, nebalí ani nemění
Související návod: Jak ve Windows ověřit hash SHA256 souboru
Poslední verze
Všechny verze (1) ›Instalace z příkazového řádku
Tichá instalace ›choco install idris -yscoop install main/idrisProgramové soubory (.exe): idris.exe
Související návod: Jak používat winget: instalace a aktualizace programů
Informace
- Kategorie
- IDE a editory kódu
- Licence
- BSD-3-Clause
- Cena
- Zdarma
- Zdrojový kód
- github.com
- Požadavky
- Windows 11 / 10
- Architektura
- 64bit
- Instalátor
- Přenosná verze
- Verze
- 1.3.3
- Verzí v katalogu
- 1
- Stažení z Chocolatey
- 2 068
- Web
- idris-lang.org
- Balíček Chocolatey
- idris
- Balíček Scoop
- main/idris
Hodnocení a recenze
Zatím žádné recenze. Hodnocení můžete přidat jako první.
Alternativy k programu idris
Zobrazit vše ›-
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 zdarma?
Ano. idris je program s otevřeným zdrojovým kódem (licence BSD-3-Clause); stažení i používání je zdarma.
Je stažení programu idris bezpečné?
Soubor se stahuje z neon.se; ExeAtlas soubor neukládá ani nemění. Porovnejte SHA256 staženého souboru s hodnotou na této stránce nebo otevřete zprávu VirusTotal pro tento hash.
Funguje idris na ARM (Windows on Arm)?
Sestavení ARM64 neexistuje; Windows 11 on Arm může verzi 64bit spustit pomocí emulace.
Lze program idris používat bez oprávnění správce?
Ano, jde o přenosnou verzi: stačí ji rozbalit a spustit.
Jaké jsou alternativy k programu idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans a Haxe. Srovnání najdete na stránce alternativ.
