1 versions of tlaplus-toolbox are listed here, from to the current 1.8.0. Each one links to the publisher’s own installer files.
| Version | Date | Size | Files |
|---|---|---|---|
| 1.8.0Latest | — | Any CPU ZIP |
tlaplus-toolbox: all versions and old releases
IDE for the TLA+ tools.
- LicenceOpen source
- Version1.8.0
- RequiresWindows 10, 11
Most popular in Science & maths
See all-
StellariumA free open source planetarium for your computer. -
KiCadA Cross Platform and Open Source Electronics Design Automation Suite -
QuartoQuarto® is an open-source scientific and technical publishing system built on Pandoc -
Qalculate!A highly versatile desktop calculator, with support for units, physical constants, uncertainty propagation, symbolic calculations, etc. -
JASPA Fresh Way to Do Statistics -
OpenChromOpen Source software for chromatography, spectrometry and spectroscopy -
Klayout - Layout Viewer And EditorKLayout is a GDS and OASIS file viewer. - scilabScilab is free and open source software for numerical computation providing a powerful computing environment for engineering and scientific applications.
-
AvogadroAvogadro is an advanced molecular editor designed for cross-platform use in computational chemistry, molecular modeling, bioinformatics, materials science, and related areas. It offers flexible rendering and a powerful plugin architecture. -
fendArbitrary-precision unit-aware calculator