A Dependently Typed Functional Programming Language
Մշակողի նկարագրությունը (անգլերեն)
Ի՞նչ է idris ծրագիրը
idris — բաց կոդով ծրագրային ապահովում Windows-ի համար, կատեգորիան՝ «IDE և կոդի խմբագրիչներ»։
Տեղադրում և համակարգային պահանջներ
Մշակողն առաջարկում է Դյուրակիր տեղադրիչներ 64-բիթ Windows-ի համար։ Հիմնական տեղադրիչի չափը՝ 1 ԿԲ։ Ծրագիրն աշխատում է առանց տեղադրման (դյուրակիր տարբերակ)։
Հայտնիություն և ֆայլերի տեսակներ
Chocolatey փաթեթը ներբեռնվել է 2068 անգամ։ Նմանատիպ ծրագրեր՝ OpenCode, RStudio և Node.js (LTS)։
Առավելություններ / Թերություններ
Առավելություններ
- Բաց կոդ․ ցանկացած մեկը կարող է այն ստուգել և ինքնուրույն կառուցել
- Դյուրակիր է՝ աշխատում է առանց տեղադրման
- Փոքր տեղադրիչ (1 ԿԲ)
Թերություններ
- Բնիկ ARM64 կառուցվածք չկա
- Պաշտոնական ներբեռնման հղումը վերջին ստուգման ժամանակ չի պատասխանել
Հակիրճ: idris — բաց կոդով ծրագիր Windows-ի համար («IDE և կոդի խմբագրիչներ» կատեգորիա)․ կառուցվածքներ՝ 64-բիթ։
Արդյո՞ք անվտանգ է ներբեռնել idris ծրագիրը
- Ֆայլը ներբեռնվում է neon.se սերվերից․ համոզվեք, որ դա մշակողի պաշտոնական հայելին է
- Ներբեռնման հղումն օգտագործում է HTTPS
- Հրապարակված է SHA256 հեշ, ուստի ֆայլը կարելի է ստուգել:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Բացել այս հեշի VirusTotal հաշվետվությունը - Վերջին ստուգման ժամանակ հղումը չի պատասխանել (26 հոկտեմբերի, 2026 թ.)
- Ելակետային կոդը բաց է
- ExeAtlas-ը տեղադրիչներ չի պահում, չի փաթեթավորում և չի փոփոխում
Առնչվող ուղեցույց: Ինչպես ստուգել ֆայլի SHA256 հեշը Windows-ում
Վերջին տարբերակները
Բոլոր 1 տարբերակները ›| Տարբերակ | Ամսաթիվ | Չափ | Ֆայլեր |
|---|---|---|---|
| 1.3.3Վերջինը | 1 ԿԲ | 64-բիթ ZIP |
Տեղադրում հրամանի տողից
Լուռ տեղադրում ›choco install idris -yscoop install main/idrisԾրագրային ֆայլեր (.exe): idris.exe
Առնչվող ուղեցույց: Ինչպես օգտագործել winget-ը՝ տեղադրում և թարմացում
Տեղեկություններ
- Կատեգորիա
- IDE և կոդի խմբագրիչներ
- Լիցենզիա
- BSD-3-Clause
- Գին
- Անվճար
- Ելակետային կոդ
- github.com
- Պահանջներ
- Windows 11 / 10
- Ճարտարապետություն
- 64-բիթ
- Տեղադրիչ
- Դյուրակիր
- Տարբերակ
- 1.3.3
- Տարբերակ կատալոգում
- 1
- Chocolatey ներբեռնումներ
- 2068
- Կայք
- idris-lang.org
- Chocolatey փաթեթ
- idris
- Scoop փաթեթ
- main/idris
Գնահատականներ և կարծիքներ
Կարծիքներ դեռ չկան։ Կարող եք առաջինը գնահատել։
idris ծրագրի այլընտրանքները
Տեսնել բոլորը ›-
Բաց կոդ285,2 հզր ↓ -
Բաց կոդ705,1 հզր ↓ -
Բաց կոդ4,9 մլն ↓ -
Բաց կոդ88,8 հզր ↓ -
Բաց կոդ49,7 հզր ↓ -
Բաց կոդ136,7 հզր ↓ -
Բաց կոդ394,5 հզր ↓ -
Բաց կոդ94,6 հզր ↓
Հաճախ տրվող հարցեր
Արդյո՞ք idris ծրագիրն անվճար է
Այո։ idris ծրագիրը բաց կոդով է (BSD-3-Clause լիցենզիա)․ այն կարելի է անվճար ներբեռնել և օգտագործել։
Արդյո՞ք անվտանգ է ներբեռնել idris ծրագիրը
Ֆայլը ներբեռնվում է neon.se սերվերից․ ExeAtlas-ը ֆայլը չի պահում և չի փոփոխում։ Համեմատեք ներբեռնված ֆայլի SHA256-ը այս էջում նշվածի հետ կամ բացեք այդ հեշի VirusTotal հաշվետվությունը։
Աշխատո՞ւմ է idris ծրագիրը ARM-ի վրա (Windows on Arm)
ARM64 կառուցվածք չկա․ Windows 11 on Arm-ը կարող է էմուլյացիայի միջոցով գործարկել 64-բիթ տարբերակը։
Կարելի՞ է idris ծրագիրն օգտագործել առանց ադմինիստրատորի իրավունքների
Այո, այն դյուրակիր է․ բավական է բացել արխիվը և գործարկել ծրագիրը։
Ի՞նչ այլընտրանքներ ունի idris ծրագիրը
OpenCode, RStudio, Node.js (LTS), Apache NetBeans և Haxe։ Դրանց համեմատությունը՝ այլընտրանքների էջում։
