Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Stars
2,154
License
mit
Open Issues
241
Most Recent Commit
3 months ago
Programming Language
Java
Categories
Site
Repo
Suggest An Alternative To tlaplus
Popular Ide Projects
Code Server ⭐ 65,039
VS Code in the browser
dependent packages 3total releases 300latest release November 29, 2023most recent commit 11 days agonpm code-server} Downloads
Lens ⭐ 22,003
Lens - The way the world runs Kubernetes
dependent packages 29total releases 21latest release May 26, 2023most recent commit 3 months agonpm @k8slens/webpack} Downloads
Codeedit ⭐ 19,643
CodeEdit App for macOS – Elevate your code editing experience. Open source, free forever.
total releases 1latest release April 17, 2022most recent commit 3 months ago
Popular Model Checking Projects
P ⭐ 2,845
The P programming language.
dependent packages 1total releases 3latest release April 04, 2023most recent commit 3 months agonuget PCheckerCore} Downloads
Kani ⭐ 1,699
Kani Rust Verifier
total releases 44latest release November 28, 2023most recent commit 3 months ago
Lime ⭐ 470
Local Interpretable Model-Agnostic Explanations (R port of original Python package)
dependent packages 3total releases 8latest release August 19, 2022most recent commit 2 years ago
Popular Integrated Development Environments Categories
Xcode
Vscode
Ide
Atom Editor
Eclipse
Visual Studio
Vscode Extension
Intellij
Android Studio
Anaconda
Related Searches
Java Algorithms
Java Ide

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Java
Algorithms
Ide
Model Checking
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.