यहाँ tlaplus-toolbox के 1 संस्करण हैं, से लेकर मौजूदा 1.8.0 तक। हर संस्करण का लिंक प्रकाशक की अपनी इंस्टॉलर फ़ाइलों पर जाता है।
| संस्करण | तारीख़ | साइज़ | फ़ाइलें |
|---|---|---|---|
| 1.8.0नवीनतम | — | कोई भी CPU ZIP |
tlaplus-toolbox के पुराने संस्करण डाउनलोड करें
IDE for the TLA+ tools.
- लाइसेंसओपन सोर्स
- संस्करण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