A Dependently Typed Functional Programming Language
प्रकाशकाचे वर्णन (इंग्रजी)
idris काय आहे?
idris हे ओपन सोर्स Windows सॉफ्टवेअर आहे (श्रेणी: IDE आणि कोड एडिटर).
इन्स्टॉलेशन आणि सिस्टम आवश्यकता
प्रकाशक 64-बिट Windows साठी पोर्टेबल इन्स्टॉलर देतो. मुख्य इन्स्टॉलरचा आकार १ KB आहे. ते इन्स्टॉल न करता चालवता येते (पोर्टेबल).
लोकप्रियता आणि फाइल प्रकार
Chocolatey पॅकेज २,०६८ वेळा डाउनलोड झाले आहे. याच प्रकारचे प्रोग्राम: OpenCode, RStudio आणि Node.js (LTS).
जमेच्या बाजू / मर्यादा
जमेच्या बाजू
- ओपन सोर्स: कोणीही त्याचा कोड पाहू आणि बिल्ड करू शकतो
- पोर्टेबल: इन्स्टॉल न करता चालते
- लहान डाउनलोड (१ KB)
मर्यादा
- नेटिव्ह ARM64 बिल्ड नाही
- मागील तपासणीत अधिकृत डाउनलोड लिंकने प्रतिसाद दिला नाही
थोडक्यात: idris हे 64-बिट PC साठीचे ओपन सोर्स Windows टूल आहे (श्रेणी: IDE आणि कोड एडिटर).
idris डाउनलोड करणे सुरक्षित आहे का?
- फाइल neon.se वरून येते; हा प्रकाशकाचा अधिकृत मिरर आहे का ते तपासा
- डाउनलोड लिंक HTTPS वापरते
- SHA256 हॅश प्रकाशित आहे, त्यामुळे आपण फाइल तपासू शकता:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· या हॅशचा VirusTotal अहवाल उघडा - मागील तपासणीत लिंकने प्रतिसाद दिला नाही (२६ ऑक्टोबर, २०२६)
- सोर्स कोड सार्वजनिक आहे
- ExeAtlas इन्स्टॉलर होस्ट करत नाही, रॅप करत नाही आणि बदलत नाही
संबंधित मार्गदर्शक: Windows वर फाइलचा SHA256 हॅश कसा तपासायचा
अलीकडील आवृत्त्या
सर्व १ आवृत्ती ›| आवृत्ती | तारीख | आकार | फाइल्स |
|---|---|---|---|
| 1.3.3नवीनतम | १ 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 डाउनलोड
- २,०६८
- वेबसाइट
- 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 वर 64-बिट आवृत्ती एम्युलेशनद्वारे चालू शकते.
idris ॲडमिनिस्ट्रेटर अधिकारांशिवाय वापरता येते का?
हो, ते पोर्टेबल आहे: फाइल अनपॅक करा आणि चालवा.
idris चे पर्याय कोणते आहेत?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans आणि Haxe. पर्यायांच्या पेजवर त्यांची तुलना दिली आहे.
