pekmezci/de_prob_playback
ProB Playback Action Plugin
Public GitHub Catalog
Discovered Sep 26, 2026
pekmezci / de_prob_random
ProB Random Action Plugin
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.
#5814985GitHub System ID
pekmezciOrganization / User
PublicVisibility
ActiveCatalog Status
More from pekmezci
pekmezci/de_prob_record
ProB Record Action Plugin
pekmezci/prob
The ProB Model Checker and Animator
pekmezci/cognitive_biases_papers
A few papers about cognitive biases, it could help to figure out "Decision-making, belief and behavioral biases"