IDE for the TLA+ tools.
توضیحات ناشر (انگلیسی)
tlaplus-toolbox چیست؟
tlaplus-toolbox در دسته‌بندی علوم و ریاضی قرار دارد و نرم‌افزاری متن‌باز است. علاوه بر ویندوز، برای Linux هم در دسترس است.
نصب و پیش‌نیازها
ناشر نصب‌کننده‌های پرتابل را برای ویندوز همه پردازنده‌ها ارائه می‌کند. بدون نصب اجرا می‌شود (نسخه پرتابل).
نقاط قوت / نقاط ضعف
نقاط قوت
- متن‌باز: هر کسی می‌تواند کد را بررسی و کامپایل کند
- پرتابل: بدون نصب اجرا می‌شود
- اجرا روی 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 ارائه می‌شود؛ مطمئن شوید که این آینه (mirror) رسمی ناشر است
- لینک دانلود از HTTPS استفاده می‌کند
- برای این فایل هشی منتشر نشده است
- لینک هنوز بررسی نشده است
- کد منبع عمومی است
- ExeAtlas فایل‌های نصب را میزبانی، بسته‌بندی یا تغییر نمی‌دهد
آموزش مرتبط: بررسی هش SHA256 فایل در ویندوز
نسخه‌های اخیر
همه ۱ نسخه ›| نسخه | تاریخ | حجم | فایل‌ها |
|---|---|---|---|
| 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
- معماری
- همه پردازنده‌ها
- نوع نصب‌کننده
- پرتابل
- سایر پلتفرم‌ها
- Linux
- نسخه
- 1.8.0
- نسخه‌های فهرست‌شده
- 1
- وب‌سایت رسمی
- lamport.azurewebsites.net
- بسته Scoop
- extras/tlaplus-toolbox
امتیازها و نظرها
هنوز نظری ثبت نشده است. نخستین امتیاز را شما بدهید.
جایگزین‌های tlaplus-toolbox
مشاهده همه ›-
متن‌باز۱۱۸ هزار ↓ -
متن‌باز۱۲۶٫۷ هزار ↓ -
متن‌باز۴۶ هزار ↓ -
متن‌باز۵۰٫۳ هزار ↓ -
متن‌باز۱۲٫۲ هزار ↓ -
متن‌باز۱۷٫۷ هزار ↓ -
متن‌باز۲۴٫۶ هزار ↓ - متن‌باز۲۸٫۶ هزار ↓
پرسش‌های متداول
آیا 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. صفحه جایگزین‌ها آن‌ها را با هم مقایسه می‌کند.
