A Dependently Typed Functional Programming Language
תיאור המפיץ (אנגלית)
מה זה idris?
idris היא תוכנת Windows בקוד פתוח שמשתייכת לקטגוריה סביבות פיתוח ועורכי קוד.
התקנה ודרישות
המפיץ מספק קובצי התקנה מסוג נייד (Portable) ל־Windows בגרסת 64 ביט. גודל קובץ ההתקנה הראשי: 1 KB. היא פועלת בלי התקנה (גרסה ניידת).
פופולריות וסוגי קבצים
חבילת ה־Chocolatey שלה הורדה 2,068 פעמים. תוכנות דומות: OpenCode, RStudio ו־Node.js (LTS).
יתרונות / חסרונות
יתרונות
- קוד פתוח: כל אחד יכול לבדוק את הקוד ולבנות אותו
- גרסה ניידת: פועלת בלי התקנה
- הורדה קטנה (1 KB)
חסרונות
- אין גרסת ARM64 מקורית
- קישור ההורדה הרשמי לא הגיב בבדיקה האחרונה
בקצרה: idris היא תוכנה בקוד פתוח מהקטגוריה סביבות פיתוח ועורכי קוד למחשבי 64 ביט.
האם ההורדה של idris בטוחה?
- הקובץ מגיע מהשרת neon.se; כדאי לוודא שזהו שרת מראה רשמי של המפיץ
- קישור ההורדה משתמש ב־HTTPS
- פורסם ערך SHA256, כך שאפשר לאמת את הקובץ:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· פתיחת הדוח של VirusTotal עבור ה־hash הזה - הקישור לא הגיב בבדיקה האחרונה (26 באוקטובר 2026)
- קוד המקור פתוח לציבור
- ExeAtlas אינו מאחסן, עוטף או משנה קובצי התקנה
מדריך קשור: בדיקת SHA256 של קובץ ב־Windows
גרסאות אחרונות
כל 1 הגרסאות ›| גרסה | תאריך | גודל | קבצים |
|---|---|---|---|
| 1.3.3אחרונה | 1 KB | 64 ביט ZIP |
התקנה משורת הפקודה
התקנה שקטה ›choco install idris -yscoop install main/idrisקובצי תוכנה (.exe): idris.exe
מדריך קשור: מדריך winget: התקנה ועדכון של תוכנות
מידע
- קטגוריה
- סביבות פיתוח ועורכי קוד
- רישיון
- BSD-3-Clause
- מחיר
- חינם
- קוד מקור
- github.com
- דרישות
- Windows 11 / 10
- ארכיטקטורה
- 64 ביט
- סוג קובץ ההתקנה
- נייד (Portable)
- גרסה
- 1.3.3
- גרסאות ברשימה
- 1
- הורדות ב־Chocolatey
- 2,068
- אתר רשמי
- idris-lang.org
- חבילת Chocolatey
- idris
- חבילת Scoop
- main/idris
דירוגים וביקורות
אין עדיין ביקורות. אפשר להיות הראשונים לדרג.
חלופות ל־idris
הצגת הכול ›-
קוד פתוח285.2K ↓ -
קוד פתוח705.1K ↓ -
קוד פתוח4.9M ↓ -
קוד פתוח88.8K ↓ -
קוד פתוח49.7K ↓ -
קוד פתוח136.7K ↓ -
קוד פתוח394.5K ↓ -
קוד פתוח94.6K ↓
שאלות נפוצות
האם 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. דף החלופות משווה ביניהן.
