A Dependently Typed Functional Programming Language
A kiadó leírása (angol)
Mi az idris?
Nyílt forráskódú szoftver Windowsra, az „IDE-k és kódszerkesztők” kategóriában.
Telepítés és rendszerigény
A kiadó Hordozható telepítőt kínál 64 bites Windowsra. A fő telepítő mérete 1 KB. Telepítés nélkül is futtatható (hordozható változat).
Népszerűség és fájltípusok
A Chocolatey-csomagot eddig 2068 alkalommal töltötték le. Hasonló programok: OpenCode, RStudio és Node.js (LTS).
Előnyök / Hátrányok
Előnyök
- Nyílt forráskód: bárki átnézheti és lefordíthatja
- Hordozható: telepítés nélkül fut
- Kis letöltési méret (1 KB)
Hátrányok
- Nincs natív ARM64-változat
- A hivatalos letöltési hivatkozás a legutóbbi ellenőrzéskor nem válaszolt
Összegzés: idris: nyílt forráskódú program az „IDE-k és kódszerkesztők” kategóriából, 64 bites gépekre.
Biztonságos az idris letöltése?
- A fájlt a neon.se szolgálja ki; érdemes ellenőrizni, hogy ez a kiadó hivatalos tükre-e
- A letöltési hivatkozás HTTPS-t használ
- SHA256 ellenőrzőösszeg elérhető, így a fájl ellenőrizhető:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· A VirusTotal-jelentés megnyitása ehhez az ellenőrzőösszeghez - A hivatkozás a legutóbbi ellenőrzéskor nem válaszolt (2026. október 26.)
- A forráskód nyilvános
- Az ExeAtlas nem tárol, nem csomagol be és nem módosít telepítőket
Kapcsolódó útmutató: Fájl SHA256 kivonatának ellenőrzése Windowson
Legutóbbi verziók
Mind az 1 verzió ›| Verzió | Dátum | Méret | Fájlok |
|---|---|---|---|
| 1.3.3Legújabb | 1 KB | 64 bites ZIP |
Telepítés parancssorból
Csendes telepítés ›choco install idris -yscoop install main/idrisProgramfájlok (.exe): idris.exe
Kapcsolódó útmutató: A winget használata: programok telepítése, frissítése
Információk
- Kategória
- IDE-k és kódszerkesztők
- Licenc
- BSD-3-Clause
- Ár
- Ingyenes
- Forráskód
- github.com
- Rendszerigény
- Windows 11 / 10
- Architektúra
- 64 bites
- Telepítő
- Hordozható
- Verzió
- 1.3.3
- Listázott verziók
- 1
- Chocolatey-letöltések
- 2068
- Weboldal
- idris-lang.org
- Chocolatey-csomag
- idris
- Scoop-csomag
- main/idris
Értékelések és vélemények
Még nincs vélemény. Az első értékelés lehet az Öné.
idris – alternatívák
Összes ›-
Nyílt forráskódú285,2 E ↓ -
Nyílt forráskódú705,1 E ↓ -
Nyílt forráskódú4,9 M ↓ -
Nyílt forráskódú88,8 E ↓ -
Nyílt forráskódú49,7 E ↓ -
Nyílt forráskódú136,7 E ↓ -
Nyílt forráskódú394,5 E ↓ -
Nyílt forráskódú94,6 E ↓
Gyakori kérdések
Ingyenes az idris program?
Igen. Az idris program nyílt forráskódú szoftver (licenc: BSD-3-Clause), ingyenesen letölthető és használható.
Biztonságos az idris letöltése?
A fájl a neon.se szerveréről érkezik; az ExeAtlas nem tárolja és nem módosítja. A letöltött fájl SHA256 ellenőrzőösszege összevethető az itt látható értékkel, és megnyitható hozzá a VirusTotal-jelentés is.
Fut az idris program ARM processzoron (Windows on Arm)?
Nincs ARM64-változat; a Windows 11 on Arm emulációval futtathatja a következő változatot: 64 bites.
Használható az idris program rendszergazdai jog nélkül?
Igen, hordozható: elég kicsomagolni és elindítani.
Milyen alternatívák vannak az idris helyett?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans és Haxe. Az alternatívák oldala össze is hasonlítja őket.
