GitHub repository: lip6/libITS
Primary language: C++
Description: Core Guarded Action Language and Instantiable Transition System semantics using libDDD.