GitHub repository: JoeOsborn/hyped
Primary language: Python
Created: 2016-01-02T22:03:51Z
Description: Hybrid (BI)PED: Write a declarative game description as a hybrid automaton, get a playable game and an input to a model checker.