VERSION 2/ ├── config/ │ └── assets.py # Image paths and conversion utilities ├── assets.py # Assets management ├── Exceptions/ │ └── Expression.py # Custom exception handling ├── ExtraFrames/ │ ├── ...
PGCD is a programming language and verification system for programming and verification of robotic choreographies. The goal of this project is to develop a kind of choreographic specification which ...