A Dependently Typed Functional Programming Language
پبلشر کی وضاحت (انگریزی)
idris کیا ہے؟
idris ایک اوپن سورس Windows سافٹ ویئر ہے، جو IDE اور کوڈ ایڈیٹرز کے زمرے میں شامل ہے۔
انسٹالیشن اور سسٹم کی ضروریات
پبلشر 64 بٹ Windows کے لیے پورٹیبل انسٹالر فراہم کرتا ہے۔ مرکزی انسٹالر کا سائز 1 KB ہے۔ یہ انسٹال کیے بغیر چلتا ہے (پورٹیبل)۔
مقبولیت اور فائل اقسام
Chocolatey پیکیج 2,068 بار ڈاؤن لوڈ ہو چکا ہے۔ اسی طرح کے پروگرام: OpenCode، RStudio اور Node.js (LTS)۔
خوبیاں / خامیاں
خوبیاں
- اوپن سورس: کوئی بھی کوڈ دیکھ اور بِلڈ کر سکتا ہے
- پورٹیبل: انسٹالیشن کی ضرورت نہیں
- چھوٹا ڈاؤن لوڈ (1 KB)
خامیاں
- نیٹو ARM64 ورژن موجود نہیں
- پچھلی جانچ میں سرکاری ڈاؤن لوڈ لنک نے جواب نہیں دیا
خلاصہ: idris IDE اور کوڈ ایڈیٹرز کے زمرے کا ایک اوپن سورس ٹول ہے جو 64 بٹ کمپیوٹرز کے لیے دستیاب ہے۔
کیا idris ڈاؤن لوڈ کرنا محفوظ ہے؟
- فائل neon.se سے آتی ہے؛ تسلی کر لیں کہ یہ پبلشر کا سرکاری مرر ہے
- ڈاؤن لوڈ لنک HTTPS استعمال کرتا ہے
- SHA256 ہیش شائع شدہ ہے، اس لیے آپ فائل کی تصدیق کر سکتے ہیں:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· اس ہیش کی VirusTotal رپورٹ کھولیں - پچھلی جانچ میں لنک نے جواب نہیں دیا (26 اکتوبر، 2026)
- سورس کوڈ عوامی طور پر دستیاب ہے
- ExeAtlas انسٹالرز کو نہ ہوسٹ کرتا ہے، نہ ریپ کرتا ہے اور نہ ان میں تبدیلی کرتا ہے
متعلقہ گائیڈ: Windows میں فائل کا SHA256 ہیش کیسے چیک کریں
حالیہ ورژن
تمام 1 ورژن ›کمانڈ لائن سے انسٹالیشن
خاموش انسٹالیشن ›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 ڈاؤن لوڈز
- 2,068
- ویب سائٹ
- idris-lang.org
- Chocolatey پیکیج
- idris
- Scoop پیکیج
- main/idris
ریٹنگز اور تبصرے
ابھی کوئی تبصرہ نہیں۔ سب سے پہلے آپ ریٹ کریں۔
idris کے متبادل
سب دیکھیں ›-
اوپن سورس2.9 لاکھ ↓ -
اوپن سورس7.1 لاکھ ↓ -
اوپن سورس49.3 لاکھ ↓ -
اوپن سورس88.8 ہزار ↓ -
اوپن سورس49.7 ہزار ↓ -
اوپن سورس1.4 لاکھ ↓ -
اوپن سورس3.9 لاکھ ↓ -
اوپن سورس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۔ متبادل کے صفحے پر ان کا موازنہ کیا گیا ہے۔
