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। বিকল্প পাতায় এগুলোর তুলনা দেওয়া আছে।
