A Dependently Typed Functional Programming Language
Përshkrimi i botuesit (anglisht)
Çfarë është idris?
Është softuer me burim të hapur për Windows, në kategorinë „IDE dhe redaktues kodi”.
Instalimi dhe kërkesat
Botuesi ofron instalues Portativ për Windows 64-bit. Instaluesi kryesor ka madhësi 1 KB. Funksionon pa instalim (portativ).
Popullariteti dhe llojet e skedarëve
Paketa në Chocolatey është shkarkuar 2068 herë. Programe të ngjashme janë OpenCode, RStudio dhe Node.js (LTS).
Pikat e forta / Pikat e dobëta
Pikat e forta
- Burim i hapur: kodin mund ta shqyrtojë dhe ta kompilojë kushdo
- Portativ: funksionon pa instalim
- Shkarkim i vogël (1 KB)
Pikat e dobëta
- Pa version vendas ARM64
- Lidhja zyrtare e shkarkimit nuk u përgjigj në kontrollin e fundit
Shkurtimisht: idris është një mjet me burim të hapur në kategorinë „IDE dhe redaktues kodi”, për kompjuterë 64-bit.
A është i sigurt shkarkimi i idris?
- Skedari shpërndahet nga neon.se; kontrolloni që të jetë pasqyra zyrtare e botuesit
- Lidhja e shkarkimit përdor HTTPS
- Është publikuar një hash SHA256, ndaj skedarin mund ta verifikoni:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Hapni raportin e VirusTotal për këtë hash - Lidhja nuk u përgjigj në kontrollin e fundit (26 tetor 2026)
- Kodi burimor është publik
- ExeAtlas nuk ruan, nuk mbështjell dhe nuk ndryshon instalues
Udhëzues i lidhur: Si të kontrolloni hash-in SHA256 të një skedari
Versionet e fundit
Të gjitha versionet (1) ›| Versioni | Data | Madhësia | Skedarët |
|---|---|---|---|
| 1.3.3I fundit | 1 KB | 64-bit ZIP |
Instalimi nga rreshti i komandave
Instalim i heshtur ›choco install idris -yscoop install main/idrisSkedarë programesh (.exe): idris.exe
Udhëzues i lidhur: Si përdoret winget: instalimi dhe përditësimi i programeve
Informacion
- Kategoria
- IDE dhe redaktues kodi
- Licenca
- BSD-3-Clause
- Çmimi
- Falas
- Kodi burimor
- github.com
- Kërkon
- Windows 11 / 10
- Arkitektura
- 64-bit
- Instaluesi
- Portativ
- Versioni
- 1.3.3
- Versione në listë
- 1
- Shkarkime në Chocolatey
- 2068
- Faqja e internetit
- idris-lang.org
- Paketa Chocolatey
- idris
- Paketa Scoop
- main/idris
Vlerësime dhe komente
Ende nuk ka komente. Bëhuni i pari që e vlerësoni.
Alternativa për idris
Shiko të gjitha ›-
Me burim të hapur285,2 mijë ↓ -
Me burim të hapur705,1 mijë ↓ -
Me burim të hapur4,9 mln ↓ -
Me burim të hapur88,8 mijë ↓ -
Me burim të hapur49,7 mijë ↓ -
Me burim të hapur136,7 mijë ↓ -
Me burim të hapur394,5 mijë ↓ -
Me burim të hapur94,6 mijë ↓
Pyetjet më të shpeshta
A është idris falas?
Po. idris është softuer me burim të hapur me licencën BSD-3-Clause.
A është i sigurt shkarkimi i idris?
Shkarkimi vjen nga neon.se; ExeAtlas nuk e ruan dhe nuk e ndryshon skedarin. Krahasoni hash-in SHA256 të tij me atë që tregohet këtu, ose hapni raportin e VirusTotal për këtë hash.
A funksionon idris në ARM (Windows on Arm)?
Nuk ka version ARM64; Windows 11 on Arm mund ta ekzekutojë versionin 64-bit përmes emulimit.
A mund ta përdor idris pa të drejta administratori?
Po, është portativ: e shpaketoni dhe e nisni.
Cilat janë alternativat e idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans dhe Haxe. Faqja e alternativave i krahason.
