A Dependently Typed Functional Programming Language
Opis izdavača (engleski)
Što je idris?
Program idris je softver otvorenog koda za Windows u kategoriji „IDE i uređivači koda”.
Instalacija i zahtjevi sustava
Izdavač nudi instalacijske datoteke vrste Prijenosna verzija za sustave 64-bitno. Glavna instalacijska datoteka ima 1 KB. Program radi bez instalacije (prijenosna verzija).
Popularnost i vrste datoteka
Paket na Chocolateyju preuzet je 2.068 puta. Slični programi: OpenCode, RStudio i Node.js (LTS).
Prednosti / Nedostaci
Prednosti
- Otvoreni kod: svatko ga može pregledati i sam prevesti
- Prijenosna verzija: radi bez instalacije
- Mala instalacijska datoteka (1 KB)
Nedostaci
- Nema izvorne verzije ARM64
- Službena poveznica za preuzimanje nije odgovorila pri zadnjoj provjeri
Ukratko: idris je program otvorenog koda za Windows (kategorija „IDE i uređivači koda”), dostupan za 64-bitno.
Je li preuzimanje programa idris sigurno?
- Datoteka se preuzima s poslužitelja neon.se; provjerite je li to službeni zrcalni poslužitelj izdavača
- Poveznica za preuzimanje koristi HTTPS
- Objavljen je hash SHA256, pa se datoteka može provjeriti:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Otvori izvješće VirusTotala za ovaj hash - Pri zadnjoj provjeri poveznica nije odgovorila (26. listopada 2026.)
- Izvorni kod je javan
- ExeAtlas ne pohranjuje, ne omata i ne mijenja instalacijske datoteke
Povezani vodič: Kako provjeriti SHA256 hash datoteke u Windowsu
Najnovije verzije
Sve verzije (1) ›| Verzija | Datum | Veličina | Datoteke |
|---|---|---|---|
| 1.3.3Najnovija | 1 KB | 64-bitno ZIP |
Instalacija iz naredbenog retka
Tiha instalacija ›choco install idris -yscoop install main/idrisProgramske datoteke (.exe): idris.exe
Povezani vodič: Kako koristiti winget: instalacija i ažuriranje
Informacije
- Kategorija
- IDE i uređivači koda
- Licenca
- BSD-3-Clause
- Cijena
- Besplatno
- Izvorni kod
- github.com
- Zahtjevi
- Windows 11 / 10
- Arhitektura
- 64-bitno
- Instalacijska datoteka
- Prijenosna verzija
- Verzija
- 1.3.3
- Broj verzija
- 1
- Preuzimanja s Chocolateyja
- 2.068
- Web-stranica
- idris-lang.org
- Paket Chocolatey
- idris
- Paket Scoop
- main/idris
Ocjene i recenzije
Još nema recenzija. Program možete ocijeniti prvi.
Alternative za program idris
Prikaži sve ›-
Otvoreni kod285,2 tis. ↓ -
Otvoreni kod705,1 tis. ↓ -
Otvoreni kod4,9 mil. ↓ -
Otvoreni kod88,8 tis. ↓ -
Otvoreni kod49,7 tis. ↓ -
Otvoreni kod136,7 tis. ↓ -
Otvoreni kod394,5 tis. ↓ -
Otvoreni kod94,6 tis. ↓
Česta pitanja
Je li program idris besplatan?
Da. idris je program otvorenog koda (licenca BSD-3-Clause) koji se može besplatno preuzeti i koristiti.
Je li preuzimanje programa idris sigurno?
Datoteka se preuzima s domene neon.se; ExeAtlas datoteku ne pohranjuje i ne mijenja. Hash SHA256 preuzete datoteke usporedite s onim na ovoj stranici ili otvorite izvješće VirusTotala za taj hash.
Radi li idris na procesorima ARM (Windows on Arm)?
Verzija ARM64 ne postoji; Windows 11 on Arm može verziju 64-bitno pokrenuti emulacijom.
Može li se program idris koristiti bez administratorskih prava?
Da, riječ je o prijenosnoj verziji: dovoljno je raspakirati arhivu i pokrenuti program.
Koje su alternative za program idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans i Haxe. Usporedba je na stranici s alternativama.
