GitHub repository: zajer/trs
Primary language: OCaml
Created: 2020-02-15T04:06:34Z
Description: An OCaml library for bigraphical Tracking Reactive Systems