A Dependently Typed Functional Programming Language
Opis izdajatelja (angleščina)
Kaj je idris?
Program idris je odprtokodna programska oprema za Windows v kategoriji „Razvojna okolja in urejevalniki kode“.
Namestitev in sistemske zahteve
Izdajatelj ponuja namestitvene datoteke vrste Prenosna različica za sisteme 64-bitno. Glavna namestitvena datoteka meri 1 KB. Program deluje brez namestitve (prenosna različica).
Priljubljenost in vrste datotek
Paket na Chocolateyju je bil prenesen 2068-krat. Podobni programi: OpenCode, RStudio in Node.js (LTS).
Prednosti / Slabosti
Prednosti
- Odprta koda: vsakdo jo lahko pregleda in sam prevede
- Prenosna različica: deluje brez namestitve
- Majhna namestitvena datoteka (1 KB)
Slabosti
- Ni izvorne različice ARM64
- Uradna povezava za prenos se ob zadnjem preverjanju ni odzvala
Na kratko: idris je odprtokoden program za Windows (kategorija „Razvojna okolja in urejevalniki kode“), na voljo za 64-bitno.
Je prenos programa idris varen?
- Datoteka se prenese s strežnika neon.se; preverite, ali je to uradno zrcalo izdajatelja
- Povezava za prenos uporablja HTTPS
- Objavljena je zgoščena vrednost SHA256, zato je datoteko mogoče preveriti:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Odpri poročilo VirusTotal za to zgoščeno vrednost - Ob zadnjem preverjanju se povezava ni odzvala (26. oktober 2026)
- Izvorna koda je javna
- ExeAtlas namestitvenih datotek ne gosti, ne ovija in ne spreminja
Povezan vodnik: Kako v sistemu Windows preveriti SHA256 datoteke
Najnovejše različice
Vse različice (1) ›| Različica | Datum | Velikost | Datoteke |
|---|---|---|---|
| 1.3.3Najnovejša | 1 KB | 64-bitno ZIP |
Namestitev iz ukazne vrstice
Tiha namestitev ›choco install idris -yscoop install main/idrisProgramske datoteke (.exe): idris.exe
Povezan vodnik: Kako uporabljati winget: namestitev in posodobitve
Informacije
- Kategorija
- Razvojna okolja in urejevalniki kode
- Licenca
- BSD-3-Clause
- Cena
- Brezplačno
- Izvorna koda
- github.com
- Zahteve
- Windows 11 / 10
- Arhitektura
- 64-bitno
- Namestitvena datoteka
- Prenosna različica
- Različica
- 1.3.3
- Število različic
- 1
- Prenosi s Chocolateyja
- 2068
- Spletna stran
- idris-lang.org
- Paket Chocolatey
- idris
- Paket Scoop
- main/idris
Ocene in mnenja
Mnenj še ni. Lahko ste prvi, ki oceni program.
Alternative za program idris
Prikaži vse ›-
Odprta koda285,2 tis. ↓ -
Odprta koda705,1 tis. ↓ -
Odprta koda4,9 mio. ↓ -
Odprta koda88,8 tis. ↓ -
Odprta koda49,7 tis. ↓ -
Odprta koda136,7 tis. ↓ -
Odprta koda394,5 tis. ↓ -
Odprta koda94,6 tis. ↓
Pogosta vprašanja
Je program idris brezplačen?
Da. idris je odprtokoden program (licenca BSD-3-Clause), ki ga je mogoče brezplačno prenesti in uporabljati.
Je prenos programa idris varen?
Datoteka se prenese z domene neon.se; ExeAtlas datoteke ne gosti in je ne spreminja. Zgoščeno vrednost SHA256 prenesene datoteke primerjajte s tisto na tej strani ali odprite poročilo VirusTotal za to vrednost.
Ali idris deluje na procesorjih ARM (Windows on Arm)?
Različice ARM64 ni; Windows 11 on Arm lahko različico 64-bitno zažene z emulacijo.
Ali je program idris mogoče uporabljati brez skrbniških pravic?
Da, gre za prenosno različico: arhiv je dovolj razpakirati in program zagnati.
Katere so alternative za program idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans in Haxe. Primerjava je na strani z alternativami.
