A Dependently Typed Functional Programming Language
Lýsing útgefanda (enska)
Hvað er idris?
Það er opinn hugbúnaður fyrir Windows og tilheyrir flokknum Þróunarumhverfi og kóðaritlar.
Uppsetning og kröfur
Útgefandinn býður uppsetningarforrit (Ferðaútgáfa) fyrir 64 bita útgáfur af Windows. Aðaluppsetningarforritið er 1 KB. Það keyrir án uppsetningar (ferðaútgáfa).
Vinsældir og skráargerðir
Chocolatey-pakkinn hefur verið sóttur 2.068 sinnum. Sambærileg forrit eru meðal annars OpenCode, RStudio og Node.js (LTS).
Kostir / Gallar
Kostir
- Opinn hugbúnaður: hver sem er getur skoðað kóðann og byggt hann
- Ferðaútgáfa: keyrir án uppsetningar
- Lítið niðurhal (1 KB)
Gallar
- Engin sérstök ARM64-útgáfa
- Opinberi niðurhalstengillinn svaraði ekki í síðustu prófun
Í stuttu máli: Forritið idris er opinn hugbúnaður í flokknum Þróunarumhverfi og kóðaritlar fyrir Windows (64 bita).
Er óhætt að sækja forritið idris?
- Skráin kemur frá neon.se; gangið úr skugga um að það sé opinber spegill útgefandans
- Niðurhalstengillinn notar HTTPS
- SHA256-gildi er birt, svo hægt er að sannreyna skrána:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Opna skýrslu VirusTotal fyrir þetta gildi - Tengillinn svaraði ekki þegar hann var síðast prófaður (26. október 2026)
- Grunnkóðinn er opinn
- ExeAtlas hýsir hvorki, pakkar inn né breytir uppsetningarforritum
Tengdar leiðbeiningar: Hvernig á að athuga SHA256-gildi skráar í Windows
Nýlegar útgáfur
Allar 1 útgáfurnar ›| Útgáfa | Dagsetning | Stærð | Skrár |
|---|---|---|---|
| 1.3.3Nýjast | 1 KB | 64 bita ZIP |
Uppsetning af skipanalínu
Hljóðlát uppsetning ›choco install idris -yscoop install main/idrisForritaskrár (.exe): idris.exe
Tengdar leiðbeiningar: Hvernig á að nota winget: setja upp og uppfæra forrit
Upplýsingar
- Flokkur
- Þróunarumhverfi og kóðaritlar
- Leyfi
- BSD-3-Clause
- Verð
- Ókeypis
- Grunnkóði
- github.com
- Kröfur
- Windows 11 / 10
- Högun
- 64 bita
- Uppsetningarforrit
- Ferðaútgáfa
- Útgáfa
- 1.3.3
- Skráðar útgáfur
- 1
- Niðurhöl á Chocolatey
- 2.068
- Vefsíða
- idris-lang.org
- Chocolatey-pakki
- idris
- Scoop-pakki
- main/idris
Einkunnir og umsagnir
Engar umsagnir enn. Gefðu fyrstu einkunnina.
Valkostir í stað forritsins idris
Sjá allt ›-
Opinn hugbúnaður285,2 þ. ↓ -
Opinn hugbúnaður705,1 þ. ↓ -
Opinn hugbúnaður4,9 m. ↓ -
Opinn hugbúnaður88,8 þ. ↓ -
Opinn hugbúnaður49,7 þ. ↓ -
Opinn hugbúnaður136,7 þ. ↓ -
Opinn hugbúnaður394,5 þ. ↓ -
Opinn hugbúnaður94,6 þ. ↓
Algengar spurningar
Er idris ókeypis?
Já. Forritið idris er opinn hugbúnaður með leyfinu BSD-3-Clause.
Er óhætt að sækja forritið idris?
Niðurhalið kemur frá neon.se; ExeAtlas hýsir hvorki né breytir skránni. Berið SHA256-gildi hennar saman við gildið sem hér er sýnt, eða opnið skýrslu VirusTotal fyrir það gildi.
Keyrir idris á ARM (Windows on Arm)?
Engin ARM64-útgáfa er til; Windows 11 on Arm getur keyrt 64 bita útgáfuna með hermun.
Er hægt að nota idris án stjórnandaréttinda?
Já, það er ferðaútgáfa: afþjappið og keyrið.
Hvaða forrit koma í stað forritsins idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans og Haxe. Síðan um valkosti ber þau saman.
