tlaplus-toolbox ప్రత్యామ్నాయాలు
IDE for the TLA+ tools.
- లైసెన్స్ఓపెన్ సోర్స్
- వెర్షన్1.8.0
- అవసరమైన సిస్టమ్Windows 10, 11
tlaplus-toolbox ఉన్న వర్గంలోని 12 Windows యాప్‌లు, ఎంత సారూప్యం ఉందో, ఎంత జనాదరణ ఉందో ఆ క్రమంలో.
-
Stellariumసైన్స్ మరియు గణితం · Stellarium team
-
KiCadసైన్స్ మరియు గణితం · KiCad
-
Quartoసైన్స్ మరియు గణితం · Rstudio, PBC
-
Qalculate!సైన్స్ మరియు గణితం · Hanna Knutsson
-
JASPసైన్స్ మరియు గణితం · Universiteit van Amsterdam
-
Klayout - Layout Viewer And Editorసైన్స్ మరియు గణితం · Matthias Koefferlein
-
OpenChromసైన్స్ మరియు గణితం · Lablicate GmbH
- scilab
సైన్స్ మరియు గణితం · Dassault Systèmes
-
pyzoసైన్స్ మరియు గణితం · The Pyzo team
-
Avogadroసైన్స్ మరియు గణితం · Humanity
-
fendసైన్స్ మరియు గణితం · printfn
-
gnuplotసైన్స్ మరియు గణితం · gnuplot development team
పోలిక
| యాప్ | లైసెన్స్ | వెర్షన్ | అప్‌డేట్ | GitHub స్టార్‌లు | Chocolatey డౌన్‌లోడ్‌లు |
|---|---|---|---|---|---|
| tlaplus-toolbox | ఓపెన్ సోర్స్ | 1.8.0 | — | — | |
| Stellarium | ఓపెన్ సోర్స్ | 26.3 | 28 సెప్టెంబర్, 2026 | 10.1వే | 118వే |
| KiCad | ఓపెన్ సోర్స్ | 10.0.7 | 1 నవంబర్, 2026 | 3.1వే | 126.7వే |
| Quarto | ఓపెన్ సోర్స్ | 1.11.9 | 2 నవంబర్, 2026 | 6.1వే | 48వే |
| Qalculate! | ఓపెన్ సోర్స్ | 5.13.2 | 11 అక్టోబర్, 2026 | 2.7వే | 50.3వే |
| JASP | ఓపెన్ సోర్స్ | 0.99.0 | 21 అక్టోబర్, 2026 | 1వే | 12.2వే |
| Klayout - Layout Viewer And Editor | ఓపెన్ సోర్స్ | 0.30.12 | 26 ఆగస్టు, 2026 | 1.2వే | 17.7వే |
| OpenChrom | ఓపెన్ సోర్స్ | 1.6.39 | 30 అక్టోబర్, 2026 | 135 | 25.5వే |
| scilab | ఓపెన్ సోర్స్ | 2025.0.0 | 30 ఏప్రిల్, 2025 | — | 28.6వే |
| pyzo | ఓపెన్ సోర్స్ | 4.22.0 | 5 ఆగస్టు, 2026 | 320 | 6.9వే |
| Avogadro | ఓపెన్ సోర్స్ | 1.2.0 | 5 నవంబర్, 2021 | 79 | 5.5వే |
| fend | ఓపెన్ సోర్స్ | 1.5.9 | 21 అక్టోబర్, 2026 | 1.1వే | 5.9వే |
| gnuplot | ఇతర లైసెన్స్ | 6.0 patchlevel 4 | 24 డిసెంబర్, 2025 | — | 3.7వే |