A Dependently Typed Functional Programming Language
Maelezo ya mchapishaji (Kiingereza)
idris ni nini?
idris ni programu ya chanzo huria ya Windows iliyo katika kundi la “IDE na vihariri vya msimbo”.
Usakinishaji na mahitaji
Mchapishaji hutoa visakinishi vya Portable kwa Windows ya 64-bit. Kisakinishi kikuu kina ukubwa wa 1 KB. Inafanya kazi bila kusakinishwa (portable).
Umaarufu na aina za faili
Kifurushi chake cha Chocolatey kimepakuliwa mara 2,068. Programu zinazofanana ni pamoja na OpenCode, RStudio na Node.js (LTS).
Faida / Hasara
Faida
- Chanzo huria: mtu yeyote anaweza kukagua na kujenga msimbo
- Portable: inafanya kazi bila kusakinishwa
- Faili ndogo ya kupakua (1 KB)
Hasara
- Hakuna toleo asili la ARM64
- Kiungo rasmi cha kupakua hakikujibu wakati wa ukaguzi wa mwisho
Kwa ufupi: idris ni zana ya chanzo huria ya kundi la “IDE na vihariri vya msimbo” kwa kompyuta za 64-bit.
Je, ni salama kupakua idris?
- Faili inatolewa na neon.se; hakikisha kuwa ni kioo (mirror) rasmi cha mchapishaji
- Kiungo cha kupakua kinatumia HTTPS
- Hashi ya SHA256 imechapishwa, hivyo unaweza kuthibitisha faili:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Fungua ripoti ya VirusTotal ya hashi hii - Kiungo hakikujibu tulipokikagua mara ya mwisho (26 Oktoba 2026)
- Msimbo chanzo uko wazi kwa umma
- ExeAtlas haihifadhi, haifungi wala haibadilishi visakinishi
Mwongozo unaohusiana: Jinsi ya kukagua hashi ya SHA256 ya faili kwenye Windows
Matoleo ya karibuni
Toleo 1 ›| Toleo | Tarehe | Ukubwa | Faili |
|---|---|---|---|
| 1.3.3Jipya zaidi | 1 KB | 64-bit ZIP |
Kusakinisha kwa mstari wa amri
Usakinishaji kimya ›choco install idris -yscoop install main/idrisFaili za programu (.exe): idris.exe
Mwongozo unaohusiana: Jinsi ya kutumia winget: sakinisha na sasisha programu
Taarifa
- Kategoria
- IDE na vihariri vya msimbo
- Leseni
- BSD-3-Clause
- Bei
- Bure
- Msimbo chanzo
- github.com
- Inahitaji
- Windows 11 / 10
- Usanifu
- 64-bit
- Kisakinishi
- Portable
- Toleo
- 1.3.3
- Matoleo yaliyoorodheshwa
- 1
- Vipakuliwa vya Chocolatey
- 2,068
- Tovuti
- idris-lang.org
- Kifurushi cha Chocolatey
- idris
- Kifurushi cha Scoop
- main/idris
Ukadiriaji na maoni
Bado hakuna maoni. Kuwa wa kwanza kuikadiria.
Mbadala wa idris
Ona zote ›-
Chanzo huriaelfu 285.2 ↓ -
Chanzo huriaelfu 705.1 ↓ -
Chanzo huriaM4.9 ↓ -
Chanzo huriaelfu 88.8 ↓ -
Chanzo huriaelfu 49.7 ↓ -
Chanzo huriaelfu 136.7 ↓ -
Chanzo huriaelfu 394.5 ↓ -
Chanzo huriaelfu 94.6 ↓
Maswali yanayoulizwa mara kwa mara
Je, idris ni bure?
Ndiyo. idris ni programu ya chanzo huria chini ya leseni ya BSD-3-Clause.
Je, ni salama kupakua idris?
Faili inapakuliwa kutoka neon.se; ExeAtlas haihifadhi wala haibadilishi faili. Linganisha hashi yake ya SHA256 na ile iliyoonyeshwa hapa, au fungua ripoti ya VirusTotal ya hashi hiyo.
Je, idris inafanya kazi kwenye ARM (Windows on Arm)?
Hakuna toleo la ARM64; Windows 11 on Arm inaweza kuendesha toleo la 64-bit kupitia uigaji (emulation).
Je, idris inaweza kutumika bila haki za msimamizi?
Ndiyo, ni portable: fungua kumbukumbu (archive) na uiendeshe.
Ni programu gani mbadala wa idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans na Haxe. Ukurasa wa mbadala unazilinganisha.
