A Dependently Typed Functional Programming Language
Opis izdavača (engleski)
Šta je idris?
Program idris je softver za Windows otvorenog koda u kategoriji „IDE i editori koda“.
Instalacija i sistemski zahtevi
Izdavač nudi instalacione fajlove tipa Portabl verzija za sisteme 64-bit. Glavni instalacioni fajl ima 1 KB. Program radi bez instalacije (portabl verzija).
Popularnost i tipovi fajlova
Paket na Chocolateyju preuzet je 2.068 puta. Slični programi: OpenCode, RStudio i Node.js (LTS).
Prednosti / Nedostaci
Prednosti
- Otvoreni kod: svako ga može pregledati i sam kompajlirati
- Portabl verzija: radi bez instalacije
- Mali instalacioni fajl (1 KB)
Nedostaci
- Nema izvorne ARM64 verzije
- Zvanični link za preuzimanje nije odgovorio pri poslednjoj proveri
Ukratko: idris je program za Windows otvorenog koda (kategorija „IDE i editori koda“), dostupan za 64-bit.
Da li je preuzimanje programa idris bezbedno?
- Fajl se preuzima sa servera neon.se; proverite da li je to zvanični mirror izdavača
- Link za preuzimanje koristi HTTPS
- Objavljen je SHA256 heš, pa se fajl može proveriti:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Otvori VirusTotal izveštaj za ovaj heš - Pri poslednjoj proveri link nije odgovorio (26. oktobar 2026.)
- Izvorni kod je javan
- ExeAtlas ne čuva, ne pakuje u omotače i ne menja instalacione fajlove
Povezano uputstvo: Kako proveriti SHA256 heš fajla na Windowsu
Najnovije verzije
Sve verzije (1) ›| Verzija | Datum | Veličina | Fajlovi |
|---|---|---|---|
| 1.3.3Najnovija | 1 KB | 64-bit ZIP |
Instalacija iz komandne linije
Tiha instalacija ›choco install idris -yscoop install main/idrisProgramski fajlovi (.exe): idris.exe
Povezano uputstvo: Kako koristiti winget: instalacija i ažuriranje
Informacije
- Kategorija
- IDE i editori koda
- Licenca
- BSD-3-Clause
- Cena
- Besplatno
- Izvorni kod
- github.com
- Zahtevi
- Windows 11 / 10
- Arhitektura
- 64-bit
- Instalacioni fajl
- Portabl verzija
- Verzija
- 1.3.3
- Broj verzija
- 1
- Preuzimanja sa Chocolateyja
- 2.068
- Veb-sajt
- idris-lang.org
- Chocolatey paket
- idris
- Scoop paket
- main/idris
Ocene i recenzije
Još nema recenzija. Ocenu možete ostaviti prvi.
Alternative za program idris
Prikaži sve ›-
Otvoreni kod285,2 hilj. ↓ -
Otvoreni kod705,1 hilj. ↓ -
Otvoreni kod4,9 mil. ↓ -
Otvoreni kod88,8 hilj. ↓ -
Otvoreni kod49,7 hilj. ↓ -
Otvoreni kod136,7 hilj. ↓ -
Otvoreni kod394,5 hilj. ↓ -
Otvoreni kod94,6 hilj. ↓
Česta pitanja
Da li je program idris besplatan?
Da. idris je program otvorenog koda (licenca BSD-3-Clause) i može se besplatno preuzeti i koristiti.
Da li je preuzimanje programa idris bezbedno?
Fajl se preuzima sa domena neon.se; ExeAtlas fajl ne čuva i ne menja. Uporedite SHA256 heš preuzetog fajla sa onim na ovoj stranici ili otvorite VirusTotal izveštaj za taj heš.
Da li idris radi na ARM procesorima (Windows on Arm)?
ARM64 verzija ne postoji; Windows 11 on Arm može da pokrene verziju 64-bit putem emulacije.
Može li se program idris koristiti bez administratorskih prava?
Da, to je portabl verzija: dovoljno je raspakovati arhivu i pokrenuti program.
Koje su alternative za program idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans i Haxe. Poređenje se nalazi na stranici sa alternativama.
