leily578

Pinned Repositories

COS700-GDP
This repository is for COS700-Research project. (Verification tool for Generalised Dining Philosophers built on Qt)
Language:C++00
dining_philosophers
Simple solution of classic dining philosophers problem
Language:C++00
QtPhilosophers
Dining philosophers problem's solution in Qt application (QML/C++)
Language:C++1 0 00
Qual
Language:C00
SCXML-tutorial
SCXML illustrated examples and tutorials
0 0 00
mmrotate
OpenMMLab Rotated Object Detection Toolbox and Benchmark
Language:Python1.8k 20 702542

leily578's Repositories

leily578/QtPhilosophers
Dining philosophers problem's solution in Qt application (QML/C++)
Language:C++1 0 00
leily578/COS700-GDP
This repository is for COS700-Research project. (Verification tool for Generalised Dining Philosophers built on Qt)
Language:C++00
leily578/dining_philosophers
Simple solution of classic dining philosophers problem
Language:C++00
leily578/Qual
Language:C00
leily578/SCXML-tutorial
SCXML illustrated examples and tutorials
0 0 00