A Dependently Typed Functional Programming Language
प्रकाशकको विवरण (अङ्ग्रेजी)
idris के हो?
idris एउटा ओपन सोर्स Windows सफ्टवेयर हो (श्रेणी: IDE र कोड एडिटर)।
इन्स्टलेसन र सिस्टम आवश्यकता
प्रकाशकले ६४-बिट Windows का लागि पोर्टेबल इन्स्टलर दिन्छ। मुख्य इन्स्टलरको साइज १ KB छ। यसलाई इन्स्टल नगरी चलाउन सकिन्छ (पोर्टेबल)।
लोकप्रियता र फाइल प्रकार
Chocolatey प्याकेज २,०६८ पटक डाउनलोड भएको छ। यस्तै प्रोग्रामहरू: OpenCode, RStudio र Node.js (LTS)।
राम्रा पक्ष / कमजोरी
राम्रा पक्ष
- ओपन सोर्स: जो कोहीले यसको कोड हेर्न र बिल्ड गर्न सक्छ
- पोर्टेबल: इन्स्टल नगरी चल्छ
- सानो डाउनलोड (१ KB)
कमजोरी
- नेटिभ ARM64 बिल्ड छैन
- पछिल्लो जाँचमा आधिकारिक डाउनलोड लिङ्कले जवाफ दिएन
संक्षेपमा: idris ६४-बिट PC का लागि एउटा ओपन सोर्स Windows टुल हो (श्रेणी: IDE र कोड एडिटर)।
के idris डाउनलोड गर्नु सुरक्षित छ?
- फाइल neon.se बाट आउँछ; यो प्रकाशकको आधिकारिक मिरर हो कि होइन जाँच्नुहोस्
- डाउनलोड लिङ्कले HTTPS प्रयोग गर्छ
- SHA256 ह्यास प्रकाशित छ, त्यसैले तपाईं फाइल जाँच्न सक्नुहुन्छ:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· यो ह्यासको VirusTotal रिपोर्ट खोल्नुहोस् - पछिल्लो जाँचमा लिङ्कले जवाफ दिएन (२०२६ अक्टोबर २६)
- सोर्स कोड सार्वजनिक छ
- ExeAtlas ले इन्स्टलर न होस्ट गर्छ, न र्याप गर्छ, न बदल्छ
सम्बन्धित गाइड: Windows मा फाइलको SHA256 ह्यास कसरी जाँच्ने
हालैका संस्करणहरू
सबै १ संस्करण ›| संस्करण | मिति | साइज | फाइलहरू |
|---|---|---|---|
| 1.3.3पछिल्लो | १ KB | ६४-बिट ZIP |
कमान्ड लाइनबाट इन्स्टल गर्नुहोस्
साइलेन्ट इन्स्टल ›choco install idris -yscoop install main/idrisप्रोग्राम फाइलहरू (.exe): idris.exe
सम्बन्धित गाइड: winget कसरी चलाउने: एप इन्स्टल र अपडेट
जानकारी
- श्रेणी
- IDE र कोड एडिटर
- लाइसेन्स
- BSD-3-Clause
- मूल्य
- निःशुल्क
- सोर्स कोड
- github.com
- आवश्यक सिस्टम
- Windows 11 / 10
- आर्किटेक्चर
- ६४-बिट
- इन्स्टलर
- पोर्टेबल
- संस्करण
- 1.3.3
- सूचीकृत संस्करण
- 1
- Chocolatey डाउनलोड
- २,०६८
- वेबसाइट
- idris-lang.org
- Chocolatey प्याकेज
- idris
- Scoop प्याकेज
- main/idris
रेटिङ र समीक्षा
अहिलेसम्म कुनै समीक्षा छैन। सबैभन्दा पहिले रेटिङ दिनुहोस्।
idris का विकल्पहरू
सबै हेर्नुहोस् ›-
ओपन सोर्स२.९ लाख ↓ -
ओपन सोर्स७.१ लाख ↓ -
ओपन सोर्स४९.३ लाख ↓ -
ओपन सोर्स८८.८ हजार ↓ -
ओपन सोर्स४९.७ हजार ↓ -
ओपन सोर्स१.४ लाख ↓ -
ओपन सोर्स३.९ लाख ↓ -
ओपन सोर्स९४.६ हजार ↓
बारम्बार सोधिने प्रश्नहरू
के idris निःशुल्क छ?
हो। idris ओपन सोर्स सफ्टवेयर हो (BSD-3-Clause लाइसेन्स)।
के idris डाउनलोड गर्नु सुरक्षित छ?
फाइल neon.se बाट डाउनलोड हुन्छ; ExeAtlas ले फाइल न होस्ट गर्छ, न बदल्छ। डाउनलोड गरेको फाइलको SHA256 ह्यास यहाँ देखाइएको ह्याससँग मिलाउनुहोस्, वा त्यो ह्यासको VirusTotal रिपोर्ट खोल्नुहोस्।
के idris ARM (Windows on Arm) मा चल्छ?
ARM64 बिल्ड छैन; Windows 11 on Arm मा ६४-बिट संस्करण इमुलेसनमार्फत चल्न सक्छ।
के idris एडमिनिस्ट्रेटर अधिकारबिना प्रयोग गर्न सकिन्छ?
सकिन्छ, यो पोर्टेबल हो: फाइल अनप्याक गर्नुहोस् र चलाउनुहोस्।
idris का विकल्पहरू के-के हुन्?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans र Haxe। विकल्प पेजमा यिनको तुलना दिइएको छ।
