-
COS700-GDP Public
Forked from Tebogomampuru/COS700-GDPThis repository is for COS700-Research project. (Verification tool for Generalised Dining Philosophers built on Qt)
C++ UpdatedNov 15, 2021 -
SCXML-tutorial Public
Forked from alexzhornyak/SCXML-tutorialSCXML illustrated examples and tutorials
BSD 3-Clause "New" or "Revised" License UpdatedOct 20, 2021 -
QtPhilosophers Public
Forked from afendin/QtPhilosophersDining philosophers problem's solution in Qt application (QML/C++)
C++ GNU General Public License v3.0 UpdatedDec 28, 2020 -
dining_philosophers Public
Forked from ivzhuravlev/dining_philosophersSimple solution of classic dining philosophers problem
C++ MIT License UpdatedJan 25, 2019 -