A Dependently Typed Functional Programming Language
وصف الناشر (الإنجليزية)
ما هو برنامج idris؟
يُصنَّف برنامج idris لنظام Windows ضمن فئة بيئات التطوير ومحررات الشيفرة، وهو مفتوح المصدر.
التثبيت ومتطلبات التشغيل
يوفّر الناشر مثبّتات نسخة محمولة لإصدارات Windows 64 بت. حجم ملف التثبيت الرئيسي 1 KB. يعمل دون تثبيت (نسخة محمولة).
الشعبية وأنواع الملفات
عدد مرات تنزيل حزمته على Chocolatey: 2,068. من البرامج المشابهة: OpenCode، RStudio وNode.js (LTS).
الإيجابيات / السلبيات
الإيجابيات
- مفتوح المصدر: يمكن لأي شخص فحص الشيفرة وبناؤها
- نسخة محمولة تعمل دون تثبيت
- حجم تنزيل صغير (1 KB)
السلبيات
- لا يوجد إصدار ARM64 أصلي
- لم يستجب رابط التحميل الرسمي في آخر فحص
باختصار: idris برنامج مفتوح المصدر من فئة بيئات التطوير ومحررات الشيفرة يعمل على أجهزة 64 بت.
هل تحميل idris آمن؟
- يُقدَّم الملف من neon.se؛ تأكّد من أنه خادم رسمي تابع للناشر
- رابط التحميل يستخدم HTTPS
- بصمة SHA256 منشورة، فيمكنك التحقق من الملف:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· افتح تقرير VirusTotal لهذه البصمة - لم يستجب الرابط في آخر فحص (26 أكتوبر 2026)
- الشيفرة المصدرية متاحة للجميع
- لا يستضيف ExeAtlas ملفات التثبيت ولا يغلّفها ولا يعدّلها
شرح ذو صلة: التحقق من بصمة SHA256 لملف في Windows
أحدث الإصدارات
جميع الإصدارات (1) ›التثبيت من سطر الأوامر
التثبيت الصامت ›choco install idris -yscoop install main/idrisملفات البرامج (.exe): idris.exe
شرح ذو صلة: شرح winget: تثبيت البرامج وتحديثها من سطر الأوامر
معلومات
- القسم
- بيئات التطوير ومحررات الشيفرة
- الترخيص
- BSD-3-Clause
- السعر
- مجاني
- الشيفرة المصدرية
- github.com
- المتطلبات
- Windows 11 / 10
- المعمارية
- 64 بت
- نوع المثبّت
- نسخة محمولة
- الإصدار
- 1.3.3
- الإصدارات المدرجة
- 1
- تنزيلات Chocolatey
- 2,068
- الموقع الرسمي
- 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 على أجهزة Windows on Arm؟
لا يوجد إصدار ARM64؛ لكن Windows 11 on Arm يستطيع تشغيل إصدار 64 بت عبر المحاكاة.
هل يمكن استخدام idris دون صلاحيات المسؤول؟
نعم، فهو نسخة محمولة: فُكّ ضغطه وشغّله.
ما بدائل idris؟
OpenCode، RStudio، Node.js (LTS)، Apache NetBeans وHaxe. تقارن صفحة البدائل بينها.
