TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
- tla
- specifications
- model-checking
- verification
Repository Index
71,372 visible repositories in the index
1–2 of 2 · Most stars
ATTENTION: This repository is a clone of https://gitlab.structr.com/structr/structr. All development/issue tracking has moved there. | Structr is an integrated open-source low-code development and runtime environment that uses a graph database (Neo4j).
- low-code
- low-code-development-platform
- productivity
- frontend-framework