pekmezci/de_prob_playback
ProB Playback Action Plugin
Developer Profile
pekmezci
Discovered public repositories for pekmezci in the GitHub catalog.
pekmezci/de_prob_record
ProB Record Action Plugin
pekmezci/de_prob_random
ProB Random 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"
pekmezci/wired-in_core
Main and self adaptive cores of wired-in project
pekmezci/wired-in
This is my time-tracker and task organisation program.