A Dependently Typed Functional Programming Language
د خپرونکي تشریح (انګليسي)
idris څه شی دی؟
idris د IDE او کوډ اېډیټرونه په کټګورۍ کې راځي او خلاصه سرچینه سافټویر دی.
نصب او اړتیاوې
خپرونکی د پورټېبل نصبوونکي د 64-bit Windows لپاره وړاندې کوي. د اصلي نصبوونکي اندازه ۱ KB ده. بې له نصب چلېږي (پورټېبل).
شهرت او د فایل ډولونه
د Chocolatey بسته ۲٬۰۶۸ ځله ډاونلوډ شوې. ورته پروګرامونه OpenCode، RStudio او Node.js (LTS) دي.
ګټې / نیمګړتیاوې
ګټې
- خلاصه سرچینه: هر څوک یې کوډ کتلی او جوړولی شي
- پورټېبل: بې له نصب چلېږي
- کوچنی ډاونلوډ (۱ KB)
نیمګړتیاوې
- اصلي ARM64 نسخه نه لري
- رسمي ډاونلوډ لینک په وروستي ځل کتلو کې ځواب ورنه کړ
لنډه دا چې: idris د 64-bit کمپیوټرونو لپاره یوه خلاصه سرچینه د IDE او کوډ اېډیټرونه وسیله ده.
ایا د idris ډاونلوډ خوندي دی؟
- فایل له neon.se څخه راځي؛ وګورئ چې دا د خپرونکي رسمي میرر دی
- د ډاونلوډ لینک HTTPS کاروي
- SHA256 هش خپور شوی، نو فایل تایید کولی شئ:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· د دې هش د VirusTotal راپور پرانیزئ - لینک په وروستي ځل کتلو کې ځواب ورنه کړ (AP ۱۴۰۵ لړم ۴)
- سرچینه کوډ عامه دی
- ExeAtlas نصبوونکي نه ساتي، نه یې پوښي او نه یې بدلوي
اړوند لارښود: په Windows کې د فایل SHA256 هش څنګه وګورو
وروستۍ نسخې
ټولې ۱ نسخې ›| نسخه | نېټه | اندازه | فایلونه |
|---|---|---|---|
| 1.3.3وروستۍ | ۱ KB | 64-bit ZIP |
له کمانډ لاین نه نصب
چوپه نصب ›choco install idris -yscoop install main/idrisد پروګرام فایلونه (.exe): idris.exe
اړوند لارښود: winget څنګه وکاروو: پروګرامونه نصب او تازه کړئ
معلومات
- کټګوري
- IDE او کوډ اېډیټرونه
- جواز
- BSD-3-Clause
- بیه
- وړیا
- سرچینه کوډ
- github.com
- اړتیا
- Windows 11 / 10
- جوړښت (Architecture)
- 64-bit
- د نصبوونکي ډول
- پورټېبل
- نسخه
- 1.3.3
- لېست شوې نسخې
- 1
- د Chocolatey ډاونلوډونه
- ۲٬۰۶۸
- وېب پاڼه
- idris-lang.org
- د Chocolatey بسته
- idris
- د Scoop بسته
- main/idris
درجې او نظرونه
لا تر اوسه هېڅ نظر نشته. لومړۍ درجه تاسو ورکړئ.
د idris بدیلونه
ټول وګورئ ›-
خلاصه سرچینه (open source)۲۸۵٫۲K ↓ -
خلاصه سرچینه (open source)۷۰۵٫۱K ↓ -
خلاصه سرچینه (open source)۴٫۹M ↓ -
خلاصه سرچینه (open source)۸۸٫۸K ↓ -
خلاصه سرچینه (open source)۴۹٫۷K ↓ -
خلاصه سرچینه (open source)۱۳۶٫۷K ↓ -
خلاصه سرچینه (open source)۳۹۴٫۵K ↓ -
خلاصه سرچینه (open source)۹۴٫۶K ↓
ډېرې پوښتل شوې پوښتنې
ایا idris وړیا دی؟
هو. idris خلاصه سرچینه سافټویر دی د BSD-3-Clause جواز لاندې.
ایا د idris ډاونلوډ خوندي دی؟
ډاونلوډ له neon.se څخه راځي؛ ExeAtlas فایل نه ساتي او نه یې بدلوي. د فایل SHA256 هش له هغه سره پرتله کړئ چې دلته ښودل شوی، یا د همدې هش د VirusTotal راپور پرانیزئ.
ایا idris په ARM (Windows on Arm) چلېږي؟
ARM64 نسخه نشته؛ Windows 11 on Arm کولی شي د 64-bit نسخه د ایمولېشن له لارې وچلوي.
ایا idris بې له اډمین اجازې کارولی شم؟
هو، پورټېبل دی: خلاص یې کړئ او ویې چلوئ.
د idris بدیلونه کوم دي؟
OpenCode، RStudio، Node.js (LTS)، Apache NetBeans او Haxe. د بدیلونو پاڼه یې سره پرتله کوي.
