A Dependently Typed Functional Programming Language
გამომცემლის აღწერა (ინგლისური)
რა არის idris?
idris — ღია კოდის Windows პროგრამა კატეგორიიდან „IDE და კოდის რედაქტორები“.
ინსტალაცია და მოთხოვნები
გამომცემელი გთავაზობთ პორტატული საინსტალაციო ფაილებს სისტემებისთვის: 64-ბიტიანი. მთავარი საინსტალაციო ფაილის ზომაა 1 KB. მუშაობს ინსტალაციის გარეშე (პორტატული).
პოპულარობა და ფაილის ტიპები
Chocolatey პაკეტი ჩამოტვირთულია 2068-ჯერ. მსგავსი პროგრამები: OpenCode, RStudio და Node.js (LTS).
დადებითი მხარეები / უარყოფითი მხარეები
დადებითი მხარეები
- ღია კოდი: ნებისმიერს შეუძლია კოდის შემოწმება და აწყობა
- პორტატული: ინსტალაცია არ სჭირდება
- მცირე ზომა (1 KB)
უარყოფითი მხარეები
- მშობლიური ARM64 ვერსია არ არის
- ოფიციალურმა ჩამოტვირთვის ბმულმა ბოლო შემოწმებისას არ უპასუხა
მოკლედ: idris — ღია კოდის ხელსაწყო (ide და კოდის რედაქტორები) კომპიუტერებისთვის: 64-ბიტიანი.
idris: უსაფრთხოა თუ არა ჩამოტვირთვა?
- ფაილი მოდის მისამართიდან neon.se; შეამოწმეთ, არის თუ არა ეს გამომცემლის ოფიციალური სარკე
- ჩამოტვირთვის ბმული HTTPS-ს იყენებს
- SHA256 ჰეში გამოქვეყნებულია, ფაილის შემოწმება შეგიძლიათ:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· გახსენით VirusTotal-ის ანგარიში ამ ჰეშისთვის - ბოლო შემოწმებისას ბმულმა არ უპასუხა (26 ოქტომბერი, 2026)
- წყაროს კოდი ღიაა
- ExeAtlas საინსტალაციო ფაილებს არ ინახავს, არ ფუთავს და არ ცვლის
დაკავშირებული ინსტრუქცია: როგორ შევამოწმოთ ფაილის SHA256 ჰეში Windows-ზე
ბოლო ვერსიები
ყველა ვერსია (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 ჩამოტვირთვები
- 2068
- ოფიციალური საიტი
- 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. ალტერნატივების გვერდზე ისინი შედარებულია.
