GDTTLA aims to be a comprehensive yet easy to use, stable IDE for the TLA+ tools.

Project Activity

See All Activity >

Categories

Integrated Development Environments (IDE), Software Testing, Algorithms

License

GNU General Public License version 2.0 (GPLv2)

Follow gdttla

gdttla Web Site

You Might Also Like
New Plans, same great Auth0 | Auth0 by Okta Icon
New Plans, same great Auth0 | Auth0 by Okta

You asked, we delivered! Auth0 has expanded our Free and Paid plans to make it even easier for you to protect your customers identities.

In our new Free Plan, you'll receive more MAUs than ever. You'll also be able to add Passwordless authentication, use your own custom domain, and more. Our expanded Paid Plans include increased connections, more MFA offerings, and more. Check out what's new.
Learn more
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of gdttla!

Additional Project Details

Operating Systems

Windows

Intended Audience

Education, Developers

User Interface

Win32 (MS Windows)

Programming Language

C++

Related Categories

C++ Integrated Development Environments (IDE), C++ Software Testing Tool, C++ Algorithms

Registered

2007-11-19
Report inappropriate content