A Dependently Typed Functional Programming Language
Naşirin təsviri (ingilis)
idris nədir?
idris proqramı ıde və kod redaktorları kateqoriyasına aid açıq mənbəli Windows proqram təminatıdır.
Quraşdırma və tələblər
Naşir 64 bit sistemlər üçün Portativ quraşdırma faylı verir. Əsas quraşdırma faylının ölçüsü: 1 KB. Quraşdırma olmadan işləyir (portativ).
Populyarlıq və fayl növləri
Chocolatey paketi 2.068 dəfə yüklənib. Oxşar proqramlar: OpenCode, RStudio və Node.js (LTS).
Üstünlüklər / Çatışmazlıqlar
Üstünlüklər
- Açıq mənbə: kodu hər kəs yoxlaya və yığa bilər
- Portativ: quraşdırma tələb etmir
- Kiçik yükləmə ölçüsü (1 KB)
Çatışmazlıqlar
- Yerli ARM64 versiyası yoxdur
- Rəsmi yükləmə keçidi son yoxlamada cavab vermədi
Qısaca: idris 64 bit kompüterlər üçün açıq mənbəli alətdir (ıde və kod redaktorları).
idris proqramını yükləmək təhlükəsizdirmi?
- Fayl neon.se ünvanından gəlir; bunun naşirin rəsmi güzgüsü olduğunu yoxlayın
- Yükləmə keçidi HTTPS istifadə edir
- SHA256 heşi dərc olunub, faylı yoxlaya bilərsiniz:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Bu heş üçün VirusTotal hesabatını açın - Keçid son yoxlamada cavab vermədi (26 oktyabr 2026)
- Mənbə kodu açıqdır
- ExeAtlas quraşdırma fayllarını saxlamır, bükmür və dəyişmir
Əlaqəli təlimat: Windows-da faylın SHA256 heşini necə yoxlamaq olar
Son versiyalar
Bütün 1 versiya ›| Versiya | Tarix | Ölçü | Fayllar |
|---|---|---|---|
| 1.3.3Son versiya | 1 KB | 64 bit ZIP |
Əmr sətrindən quraşdırma
Səssiz quraşdırma ›choco install idris -yscoop install main/idrisProqram faylları (.exe): idris.exe
Əlaqəli təlimat: winget necə istifadə olunur: quraşdırma və yeniləmə
Məlumat
- Kateqoriya
- IDE və kod redaktorları
- Lisenziya
- BSD-3-Clause
- Qiymət
- Pulsuz
- Mənbə kodu
- github.com
- Tələb
- Windows 11 / 10
- Arxitektura
- 64 bit
- Quraşdırma növü
- Portativ
- Versiya
- 1.3.3
- Qeydə alınmış versiya
- 1
- Chocolatey yükləməsi
- 2.068
- Rəsmi sayt
- idris-lang.org
- Chocolatey paketi
- idris
- Scoop paketi
- main/idris
Qiymətlər və rəylər
Hələ rəy yoxdur. İlk qiyməti siz verin.
idris alternativləri
Hamısına bax ›-
Açıq mənbə285,2K ↓ -
Açıq mənbə705,1K ↓ -
Açıq mənbə4,9 mln ↓ -
Açıq mənbə88,8K ↓ -
Açıq mənbə49,7K ↓ -
Açıq mənbə136,7K ↓ -
Açıq mənbə394,5K ↓ -
Açıq mənbə94,6K ↓
Tez-tez verilən suallar
idris pulsuzdurmu?
Bəli. idris açıq mənbəli proqramdır (BSD-3-Clause lisenziyası).
idris proqramını yükləmək təhlükəsizdirmi?
Fayl neon.se ünvanından yüklənir. ExeAtlas faylı saxlamır və dəyişmir. Yüklədiyiniz faylın SHA256 heşini burada göstərilənlə müqayisə edə və ya bu heş üçün VirusTotal hesabatını aça bilərsiniz.
idris ARM prosessorda (Windows on Arm) işləyirmi?
ARM64 versiyası yoxdur; Windows 11 on Arm 64 bit versiyasını emulyasiya ilə işə sala bilər.
idris proqramından administrator hüquqları olmadan istifadə etmək olarmı?
Bəli, portativdir: arxivdən çıxarıb işə salmaq kifayətdir.
idris alternativləri hansılardır?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans və Haxe. Alternativlər səhifəsi onları müqayisə edir.
