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 ప్రత్యామ్నాయాలు
అన్నీ చూడండి ›-
ఓపెన్ సోర్స్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 ARM (Windows on Arm)లో పనిచేస్తుందా?
ARM64 బిల్డ్ లేదు; Windows 11 on Armలో 64-బిట్ వెర్షన్ ఎమ్యులేషన్ ద్వారా రన్ కావచ్చు.
అడ్మినిస్ట్రేటర్ హక్కులు లేకుండా idris వాడవచ్చా?
అవును, ఇది పోర్టబుల్: ఫైల్‌ను అన్‌ప్యాక్ చేసి రన్ చేయండి.
idrisకు ప్రత్యామ్నాయాలు ఏవి?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans మరియు Haxe. ప్రత్యామ్నాయాల పేజీలో వీటి పోలిక ఉంది.
