Hapa yameorodheshwa matoleo 1 ya tlaplus-toolbox, kuanzia hadi toleo la sasa 1.8.0. Kila moja lina kiungo cha faili za kisakinishi za mchapishaji mwenyewe.
| Toleo | Tarehe | Ukubwa | Faili |
|---|---|---|---|
| 1.8.0Toleo jipya zaidi | — | CPU yoyote ZIP |
tlaplus-toolbox: matoleo yote na matoleo ya zamani
IDE for the TLA+ tools.
- LeseniChanzo huria
- Toleo1.8.0
- InahitajiWindows 10, 11
Maarufu zaidi katika Sayansi na hisabati
Ona zote-
StellariumSayansi na hisabati · Stellarium team -
KiCadSayansi na hisabati · KiCad -
QuartoSayansi na hisabati · Rstudio, PBC -
Qalculate!Sayansi na hisabati · Hanna Knutsson -
JASPSayansi na hisabati · Universiteit van Amsterdam -
OpenChromSayansi na hisabati · Lablicate GmbH -
Klayout - Layout Viewer And EditorSayansi na hisabati · Matthias Koefferlein -
ghidraSayansi na hisabati -
scilabSayansi na hisabati · Dassault Systèmes -
AvogadroSayansi na hisabati · Humanity