hhu-stups/tlatools
(READ ONLY MIRROR) Modified version of the TLA+ tools for usage in ProB
Public GitHub Catalog
Discovered Oct 21, 2026
hhu-stups / probkodkod
(READ ONLY MIRROR) Kodkod Wrapper for ProB
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#42294497GitHub System ID
hhu-stupsOrganization / User
PublicVisibility
ActiveCatalog Status
More from hhu-stups
hhu-stups/rodin-ast
(READ ONLY MIRROR) Standalone version of the Rodin Event-B parser and AST, published to Maven Central
hhu-stups/ptolemy-jfmi
This project only packages the great JFMI library from the Ptolemy project
hhu-stups/python_jvm
Public repository.