rhz/graph-rewriting
Graph rewriting library for Scala
Graph for Scala is intended to provide basic graph functionality seamlessly fitting into the Scala Collection Library. Like the well known members of scala.collection, Graph for Scala is an in-memory graph library aiming at editing and traversing graphs, finding cycles etc. in a user-friendly way.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Graph rewriting library for Scala
The module integration simulator MOIS. Use for large-scale modelling as it allows a module-based model specification.
Command line stochastic simulator for kappa models. Documentation can be found in the man/ directory
Package descriptions for OPAM