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

Vim
Vim
Free

A screen-based text editor for various documents.

Patterns
Patterns
Free

Works with regular expressions to create patterns.

VisualVM
VisualVM
Free

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

TeXworks
TeXworks
Free

A powerful application that allows users to edit TeX files.

Hex Fiend
Hex Fiend
Free

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

Komodo Edit
Komodo Edit
Free

Write and edit code in a simplified manner.

Download
Free  
Freeware
Old versions
TLA+ Toolbox 1.5.2
Today's Highlight Trouble in Paradise
We don't have a description for the Trouble in Paradise app yet.
Mall Creeps
An adult visual novel style game. Join Sam, Rex, and Cadet as they explore an abandoned mall looking for ghosts.

Recent downloads

HandBrakeBatch

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

RipIt

Rips media from DVD and creates disk copies.

MacX DVD Ripper Pro

Rip DVD discs to the desired file format.

Miro Video Converter

This program lets you convert videos to various media formats.

DSP-Quattro

Edits audio files with the option for CD mastering.

CoverScout 3

CoverScout fills the gray gaps that iTunes leaves behind!

Recent downloads

Latest updates