A Dependently Typed Functional Programming Language
የአሳታሚው መግለጫ (እንግሊዝኛ)
idris ምንድነው?
idris ለWindows የተሠራ ክፍት ምንጭ ሶፍትዌር ነው፤ ምድቡ “IDE እና የኮድ አርታዒዎች” ነው።
መጫን እና የሚያስፈልጉ ነገሮች
አሳታሚው ለ64-bit Windows ተንቀሳቃሽ (portable) ጫኚዎችን ያቀርባል። ዋናው ጫኚ 1 KB ነው። ሳይጫን ይሠራል (portable)።
ተወዳጅነት እና የፋይል አይነቶች
የChocolatey ጥቅሉ 2,068 ጊዜ ወርዷል። ተመሳሳይ ፕሮግራሞች OpenCode፣ RStudio እና Node.js (LTS) ናቸው።
ጥቅሞች / ጉዳቶች
ጥቅሞች
- ክፍት ምንጭ፦ ማንኛውም ሰው ኮዱን መመርመር እና መገንባት ይችላል
- ተንቀሳቃሽ (portable)፦ ሳይጫን ይሠራል
- አነስተኛ የማውረጃ መጠን (1 KB)
ጉዳቶች
- የራሱ የARM64 ስሪት የለም
- በመጨረሻው ፍተሻ ይፋዊው የማውረጃ አገናኝ ምላሽ አልሰጠም
በአጭሩ: idris ለ64-bit ኮምፒውተሮች የተሠራ ክፍት ምንጭ የWindows መሣሪያ ነው፤ ምድቡ “IDE እና የኮድ አርታዒዎች” ነው።
idrisን ማውረድ ደህንነቱ የተጠበቀ ነው?
- ፋይሉ የሚቀርበው ከneon.se ነው፤ የአሳታሚው ይፋዊ መስታወት (mirror) መሆኑን ያረጋግጡ
- የማውረጃ አገናኙ HTTPS ይጠቀማል
- የSHA256 ሃሽ ታትሟል፤ ስለዚህ ፋይሉን ማረጋገጥ ይችላሉ:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· ለዚህ ሃሽ የVirusTotal ሪፖርቱን ይክፈቱ - ለመጨረሻ ጊዜ ስናረጋግጥ አገናኙ ምላሽ አልሰጠም (26 ኦክቶበር 2026)
- የምንጭ ኮዱ ለሕዝብ ክፍት ነው
- ExeAtlas ጫኚዎችን አያስተናግድም፣ አይጠቀልልም፣ አይቀይርም
ተዛማጅ መመሪያ: የፋይልን SHA256 ሃሽ በWindows ላይ እንዴት ማረጋገጥ ይቻላል
የቅርብ ጊዜ ስሪቶች
1 ስሪት ›| ስሪት | ቀን | መጠን | ፋይሎች |
|---|---|---|---|
| 1.3.3የቅርብ ጊዜ | 1 KB | 64-bit ZIP |
ከትዕዛዝ መስመር ይጫኑ
ጸጥ ያለ ጭነት ›choco install idris -yscoop install main/idrisየፕሮግራም ፋይሎች (.exe): idris.exe
ተዛማጅ መመሪያ: winget እንዴት እንደሚጠቀሙ፦ ፕሮግራሞችን መጫን እና ማዘመን
መረጃ
- ምድብ
- IDE እና የኮድ አርታዒዎች
- ፈቃድ
- BSD-3-Clause
- ዋጋ
- ነፃ
- የምንጭ ኮድ
- github.com
- የሚያስፈልገው
- Windows 11 / 10
- አርክቴክቸር
- 64-bit
- ጫኚ
- ተንቀሳቃሽ (portable)
- ስሪት
- 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-bit ስሪቱን በኢምዩሌሽን ማስኬድ ይችላል።
idrisን ያለ አስተዳዳሪ መብቶች መጠቀም ይቻላል?
አዎ፤ ተንቀሳቃሽ (portable) ነው፦ ይፍቱት እና ያስኪዱት።
የidris አማራጮች ምንድን ናቸው?
OpenCode፣ RStudio፣ Node.js (LTS)፣ Apache NetBeans እና Haxe። የአማራጮች ገጹ ያነጻጽራቸዋል።
