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 64-बिट PC के लिए एक ओपन सोर्स Windows टूल है (श्रेणी: IDE और कोड एडिटर)।
क्या idris डाउनलोड करना सुरक्षित है?
- फ़ाइल neon.se से आती है; जाँच लें कि यह प्रकाशक का आधिकारिक मिरर है
- डाउनलोड लिंक HTTPS का इस्तेमाल करता है
- SHA256 हैश प्रकाशित है, इसलिए आप फ़ाइल की जाँच कर सकते हैं:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· इस हैश की VirusTotal रिपोर्ट खोलें - पिछली जाँच में लिंक ने जवाब नहीं दिया (26 अक्टूबर 2026)
- सोर्स कोड सार्वजनिक है
- ExeAtlas इंस्टॉलर को न होस्ट करता है, न रैप करता है, न बदलता है
संबंधित गाइड: Windows पर फ़ाइल का SHA256 हैश कैसे चेक करें
हाल के संस्करण
सभी 1 संस्करण ›| संस्करण | तारीख़ | साइज़ | फ़ाइलें |
|---|---|---|---|
| 1.3.3नवीनतम | 1 KB | 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 डाउनलोड
- 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। विकल्प पेज पर इनकी तुलना दी गई है।
