Visual TLA

VisualTLA is an editor for the TLA language, with features like : syntax highlighting, code completion, print support, find and replace facilities

GNU General Public License version 2.0 (GPLv2)

User Reviews

Be the first to post a review of Visual TLA!

Romanian, English

Science/Research

Win32 (MS Windows)

2007-01-22

Similar Business Software

CodeRunner

A lightweight, multi-language programming text editor and IDE for macOS. CodeRunner was designed to support all of the most widely used programming languages and run them instantly. The app is configured to run code in 25 languages out-of-the-box, and additional languages can be configured to...

See Software
Qt Creator

Qt Creator's advanced code editor lets you code in C++, QML, JavaScript, Python and other languages. It features code completion, syntax highlighting, refactoring and has built-in documentation at your fingertips. Qt Creator integrates with most popular version control systems, including Git,...

See Software
Spyder

Spyder’s multi-language editor integrates a number of powerful tools right out of the box for an easy to use, efficient editing experience. The editor’s key features include syntax highlighting (pygments); real-time code and style analysis (pyflakes and pycodestyle); on-demand completion,...

See Software