A Dependently Typed Functional Programming Language
Περιγραφή του εκδότη (Αγγλικά)
Τι είναι το idris;
Το idris είναι λογισμικό ανοιχτού κώδικα για Windows της κατηγορίας «IDE και επεξεργαστές κώδικα».
Εγκατάσταση και απαιτήσεις
Ο εκδότης διαθέτει αρχεία εγκατάστασης Φορητό για Windows 64-bit. Το κύριο αρχείο εγκατάστασης έχει μέγεθος 1 KB. Λειτουργεί χωρίς εγκατάσταση (φορητή έκδοση).
Δημοτικότητα και τύποι αρχείων
Το πακέτο Chocolatey έχει 2.068 λήψεις. Παρόμοια προγράμματα: OpenCode, RStudio και Node.js (LTS).
Πλεονεκτήματα / Μειονεκτήματα
Πλεονεκτήματα
- Ανοιχτός κώδικας: ο καθένας μπορεί να τον ελέγξει και να τον μεταγλωττίσει
- Φορητό: λειτουργεί χωρίς εγκατάσταση
- Μικρό μέγεθος λήψης (1 KB)
Μειονεκτήματα
- Δεν υπάρχει εγγενής έκδοση ARM64
- Ο επίσημος σύνδεσμος λήψης δεν αποκρίθηκε στον τελευταίο έλεγχο
Συνοπτικά: Το idris είναι εργαλείο ανοιχτού κώδικα της κατηγορίας «IDE και επεξεργαστές κώδικα» για υπολογιστές 64-bit.
Είναι ασφαλής η λήψη του idris;
- Το αρχείο διατίθεται από το neon.se· ελέγξτε ότι πρόκειται για επίσημο mirror του εκδότη
- Ο σύνδεσμος λήψης χρησιμοποιεί HTTPS
- Δημοσιεύεται hash SHA256, οπότε μπορείτε να επαληθεύσετε το αρχείο:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Άνοιγμα της αναφοράς VirusTotal για αυτό το hash - Ο σύνδεσμος δεν αποκρίθηκε στον τελευταίο έλεγχο (26 Οκτωβρίου 2026)
- Ο πηγαίος κώδικας είναι δημόσιος
- Το ExeAtlas δεν φιλοξενεί, δεν τυλίγει και δεν τροποποιεί αρχεία εγκατάστασης
Σχετικός οδηγός: Έλεγχος SHA256 αρχείου στα Windows
Πρόσφατες εκδόσεις
Η μία έκδοση ›| Έκδοση | Ημερομηνία | Μέγεθος | Αρχεία |
|---|---|---|---|
| 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
- Αρχείο εγκατάστασης
- Φορητό
- Έκδοση
- 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 δεν φιλοξενεί ούτε τροποποιεί το αρχείο. Συγκρίνετε το hash SHA256 του αρχείου με αυτό που εμφανίζεται εδώ ή ανοίξτε την αναφορά VirusTotal για αυτό το hash.
Λειτουργεί το idris σε ARM (Windows on Arm);
Δεν υπάρχει έκδοση ARM64· τα Windows 11 on Arm μπορούν να εκτελέσουν την έκδοση 64-bit μέσω εξομοίωσης.
Μπορώ να χρησιμοποιήσω το idris χωρίς δικαιώματα διαχειριστή;
Ναι, είναι φορητό: αρκεί να το αποσυμπιέσετε και να το εκτελέσετε.
Ποια είναι τα εναλλακτικά του idris;
OpenCode, RStudio, Node.js (LTS), Apache NetBeans και Haxe. Η σελίδα εναλλακτικών τα συγκρίνει.
