tlaplus-toolbox ၏ ဗားရှင်း ၁ ခုကို မှ လက်ရှိ 1.8.0 အထိ ဤနေရာတွင် စာရင်းပြုထားပါသည်။ ဗားရှင်းတိုင်းသည် ထုတ်ဝေသူ၏ ကိုယ်ပိုင် installer ဖိုင်များသို့ လင့်ခ်ချိတ်ထားပါသည်။
| ဗားရှင်း | ရက်စွဲ | အရွယ်အစား | ဖိုင်များ |
|---|---|---|---|
| 1.8.0နောက်ဆုံး | — | CPU အားလုံး ZIP |
tlaplus-toolbox ဗားရှင်းဟောင်းများ ဒေါင်းလုဒ်
IDE for the TLA+ tools.
- လိုင်စင်ပွင့်လင်းရင်းမြစ် (open source)
- ဗားရှင်း1.8.0
- လိုအပ်ချက်Windows 10, 11
သိပ္ပံနှင့် သင်္ချာ တွင် လူကြိုက်အများဆုံး
အားလုံးကြည့်ရန်-
Stellariumသိပ္ပံနှင့် သင်္ချာ · Stellarium team -
KiCadသိပ္ပံနှင့် သင်္ချာ · KiCad -
Quartoသိပ္ပံနှင့် သင်္ချာ · Rstudio, PBC -
Qalculate!သိပ္ပံနှင့် သင်္ချာ · Hanna Knutsson -
JASPသိပ္ပံနှင့် သင်္ချာ · Universiteit van Amsterdam -
OpenChromသိပ္ပံနှင့် သင်္ချာ · Lablicate GmbH -
Klayout - Layout Viewer And Editorသိပ္ပံနှင့် သင်္ချာ · Matthias Koefferlein -
ghidraသိပ္ပံနှင့် သင်္ချာ -
scilabသိပ္ပံနှင့် သင်္ချာ · Dassault Systèmes -
Avogadroသိပ္ပံနှင့် သင်္ချာ · Humanity