All categories
Mac

TLA+ Toolbox 1.5.2

Free An IDE (integrated development environment) for the TLA+ tools.
0 
Latest version:
1.5.2 See all
Developer:
Collect
Review Download All version

The TLA Toolbox is an IDE (integrated development environment) for the TLA tools. You can use it to:

- Create and edit your specs, with the locations of parsing errors marked in the modules.

- Run the PlusCal translator, with the locations of translation errors marked in the PlusCal code.

Comments

Suggestions

Hex Fiend
Hex Fiend
Free

Fast, clever, and free Hex Editor that has many unique features: Insert...

TeXworks
TeXworks
Free

A powerful application that allows users to edit TeX files.

Komodo Edit
Komodo Edit
Free

Write and edit code in a simplified manner.

VisualVM
VisualVM
Free

Java monitoring and troubleshooting tool that supports JDK 1.4+ and uses lightweight technologies fo

Patterns
Patterns
Free

Works with regular expressions to create patterns.

Vim
Vim
Free

A screen-based text editor for various documents.

Download
Free  
Freeware
Old versions
TLA+ Toolbox 1.5.2
Today's Highlight BEYOND the HARBOR: r
A case gone cold, if only you could r-
The Pill
A 3D expansion visual novel game, including animations.

Recent downloads

DSP-Quattro

Edits audio files with the option for CD mastering.

CoverScout 3

CoverScout fills the gray gaps that iTunes leaves behind!

MacX DVD Ripper Pro

Rip DVD discs to the desired file format.

RipIt

Rips media from DVD and creates disk copies.

Miro Video Converter

This program lets you convert videos to various media formats.

HandBrakeBatch

This program enables you to convert video files to various output profiles.

Recent downloads

Latest updates