IDE for the TLA+ tools.
תיאור המפיץ (אנגלית)
מה זה tlaplus-toolbox?
tlaplus-toolbox היא תוכנת Windows בקוד פתוח שמשתייכת לקטגוריה מדע ומתמטיקה. מלבד Windows, היא זמינה גם ל־Linux.
התקנה ודרישות
המפיץ מספק קובצי התקנה מסוג נייד (Portable) ל־Windows בגרסת כל מעבד. היא פועלת בלי התקנה (גרסה ניידת).
יתרונות / חסרונות
יתרונות
- קוד פתוח: כל אחד יכול לבדוק את הקוד ולבנות אותו
- גרסה ניידת: פועלת בלי התקנה
- פועלת גם על Linux
בקצרה: tlaplus-toolbox היא תוכנה בקוד פתוח מהקטגוריה מדע ומתמטיקה למחשבי כל מעבד.
תכונות עיקריות
- Create and edit your specs, with the locations of parsing errors marked in the modules
- Run the PlusCal translator, with the locations of translation errors marked in the PlusCal code
- View the pretty-printed versions of your modules
- Run the TLC model checker. The Toolbox allows you to explorer an error trace produced by TLC—for example, by evaluating arbitrary formulas at each step in the trace
- Run the TLA+ proof system
AppStream · Flathub
האם ההורדה של tlaplus-toolbox בטוחה?
- הקובץ מגיע מהשרת github.com; כדאי לוודא שזהו שרת מראה רשמי של המפיץ
- קישור ההורדה משתמש ב־HTTPS
- לא פורסם ערך hash לקובץ הזה
- הקישור טרם נבדק
- קוד המקור פתוח לציבור
- ExeAtlas אינו מאחסן, עוטף או משנה קובצי התקנה
מדריך קשור: בדיקת SHA256 של קובץ ב־Windows
גרסאות אחרונות
כל 1 הגרסאות ›| גרסה | תאריך | גודל | קבצים |
|---|---|---|---|
| 1.8.0אחרונה | — | כל מעבד ZIP |
התקנה משורת הפקודה
התקנה שקטה ›scoop install extras/tlaplus-toolboxקובצי תוכנה (.exe): tlc.exe, toolbox.exe
מדריך קשור: מדריך winget: התקנה ועדכון של תוכנות
זמינה גם למערכות אחרות
flatpak install flathub org.lamport.tla.toolboxמידע
- קטגוריה
- מדע ומתמטיקה
- רישיון
- MIT
- מחיר
- חינם
- סיווג תוכן
- לכל הגילים
- דרישות
- Windows 11 / 10
- ארכיטקטורה
- כל מעבד
- סוג קובץ ההתקנה
- נייד (Portable)
- פלטפורמות נוספות
- Linux
- גרסה
- 1.8.0
- גרסאות ברשימה
- 1
- אתר רשמי
- lamport.azurewebsites.net
- חבילת Scoop
- extras/tlaplus-toolbox
דירוגים וביקורות
אין עדיין ביקורות. אפשר להיות הראשונים לדרג.
חלופות ל־tlaplus-toolbox
הצגת הכול ›-
קוד פתוח118K ↓ -
קוד פתוח126.7K ↓ -
קוד פתוח46K ↓ -
קוד פתוח50.3K ↓ -
קוד פתוח12.2K ↓ -
קוד פתוח17.7K ↓ -
קוד פתוח24.6K ↓ - קוד פתוח28.6K ↓
שאלות נפוצות
האם tlaplus-toolbox חינמית?
כן. tlaplus-toolbox היא תוכנת קוד פתוח ברישיון MIT.
האם ההורדה של tlaplus-toolbox בטוחה?
הקובץ מגיע מהשרת github.com; ExeAtlas אינו מאחסן את הקובץ ואינו משנה אותו.
אפשר להריץ את tlaplus-toolbox על ARM (Windows on Arm)?
קובץ ההתקנה אינו תלוי בארכיטקטורה.
אפשר להשתמש ב־tlaplus-toolbox בלי הרשאות מנהל?
כן, זו גרסה ניידת: מחלצים את הקבצים ומפעילים.
מהן החלופות ל־tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! ו־JASP. דף החלופות משווה ביניהן.
