Visual TLA

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

Project Samples

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Visual TLA

Visual TLA Web Site

You Might Also Like

The Secure Workspace for Remote Work

Venn isolates and protects work from any personal use on the same computer, whether BYO or company issued.

Venn is a secure workspace for remote work that isolates and protects work from any personal use on the same computer. Work lives in a secure local enclave that is company controlled, where all data is encrypted and access is managed. Within the enclave – visually indicated by the Blue Border around these applications – business activity is walled off from anything that happens on the personal side. As a result, work and personal uses can now safely coexist on the same computer.

Learn More

Rate This Project

User Reviews

Be the first to post a review of Visual TLA!

Additional Project Details

Operating Systems

Windows

Languages

Romanian, English

Intended Audience

Science/Research

User Interface

Win32 (MS Windows)

Programming Language

Delphi/Kylix

Related Categories

Delphi/Kylix Integrated Development Environments (IDE)

Registered

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

Report inappropriate content