A Dependently Typed Functional Programming Language
Väljaandja kirjeldus (inglise)
Mis on idris?
Programm idris on avatud lähtekoodiga tarkvara Windowsile. Kategooria: ide-d ja koodiredaktorid.
Paigaldamine ja nõuded
Väljaandja pakub paigaldusfaile vormingus Portatiivne; saadaval on 64-bitine versioon. Peamise paigaldusfaili suurus on 1 KB. Programm töötab ilma paigaldamata (portatiivne).
Populaarsus ja failitüübid
Chocolatey paketti on alla laaditud 2068 korda. Sarnased programmid on näiteks OpenCode, RStudio ja Node.js (LTS).
Plussid / Miinused
Plussid
- Avatud lähtekood: koodi saab igaüks üle vaadata ja ise kompileerida
- Portatiivne: töötab ilma paigaldamata
- Väike allalaadimine (1 KB)
Miinused
- Natiivne ARM64-versioon puudub
- Ametlik allalaadimislink ei vastanud viimasel kontrollil
Kokkuvõttes: idris on avatud lähtekoodiga Windowsi tööriist kategooriast „IDE-d ja koodiredaktorid“ (64-bitine).
Kas programmi idris allalaadimine on ohutu?
- Faili jagab neon.se; kontrolli, et see on väljaandja ametlik peegelsait
- Allalaadimislink kasutab HTTPS-i
- SHA256-räsi on avaldatud, nii et faili saab kontrollida:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Ava selle räsi VirusTotali aruanne - Link ei vastanud viimasel kontrollil (26. oktoober 2026)
- Lähtekood on avalik
- ExeAtlas ei majuta, ümbrista ega muuda paigaldusfaile
Seotud juhend: Kuidas kontrollida faili SHA256-räsi Windowsis
Viimased versioonid
Ainus versioon ›| Versioon | Kuupäev | Suurus | Failid |
|---|---|---|---|
| 1.3.3Uusim | 1 KB | 64-bitine ZIP |
Paigaldamine käsurealt
Vaikne paigaldus ›choco install idris -yscoop install main/idrisProgrammifailid (.exe): idris.exe
Seotud juhend: Kuidas kasutada wingetit: paigaldus ja uuendamine
Teave
- Kategooria
- IDE-d ja koodiredaktorid
- Litsents
- BSD-3-Clause
- Hind
- Tasuta
- Lähtekood
- github.com
- Nõuded
- Windows 11 / 10
- Arhitektuur
- 64-bitine
- Paigaldaja
- Portatiivne
- Versioon
- 1.3.3
- Versioone kataloogis
- 1
- Chocolatey allalaadimised
- 2068
- Veebileht
- idris-lang.org
- Chocolatey pakett
- idris
- Scoopi pakett
- main/idris
Hinnangud ja arvustused
Arvustusi veel pole. Hinda esimesena.
Programmi idris alternatiivid
Vaata kõiki ›-
Avatud lähtekood285,2 tuh ↓ -
Avatud lähtekood705,1 tuh ↓ -
Avatud lähtekood4,9 mln ↓ -
Avatud lähtekood88,8 tuh ↓ -
Avatud lähtekood49,7 tuh ↓ -
Avatud lähtekood136,7 tuh ↓ -
Avatud lähtekood394,5 tuh ↓ -
Avatud lähtekood94,6 tuh ↓
Korduma kippuvad küsimused
Kas idris on tasuta?
Jah. idris on avatud lähtekoodiga tarkvara (litsents BSD-3-Clause).
Kas programmi idris allalaadimine on ohutu?
Fail laaditakse alla aadressilt neon.se; ExeAtlas faili ei majuta ega muuda. Võrdle faili SHA256-räsi siin näidatuga või ava selle räsi VirusTotali aruanne.
Kas idris töötab ARM-protsessoriga (Windows on Arm)?
ARM64-versiooni pole; Windows 11 on Arm saab 64-bitine versiooni käivitada emulatsiooni abil.
Kas programmi idris saab kasutada ilma administraatori õigusteta?
Jah, see on portatiivne: paki lahti ja käivita.
Millised on programmi idris alternatiivid?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans ja Haxe. Alternatiivide leht võrdleb neid.
