• Cartographer

  • Referenced in 1 article [sw40952]
  • string diagrams of symmetric monoidal categories. Our approach is principled: the layout exploits the isomorphism ... soundness and completeness of convex double-pushout rewriting for string diagram rewriting...
  • PLUMP

  • Referenced in 14 articles [sw00718]
  • The joint CSCS-ETH/NEC collaboration in parallel...
  • PROGRES

  • Referenced in 70 articles [sw02905]
  • Integrity constraints in the multi-paradigm language PROGRES...
  • AGG

  • Referenced in 50 articles [sw04449]
  • The Attributed Graph Grammar System: AGG is a...
  • Rodin

  • Referenced in 86 articles [sw07083]
  • The Rodin Platform is an Eclipse-based IDE...
  • OEIS

  • Referenced in 4221 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • VPM

  • Referenced in 11 articles [sw07364]
  • VPM: A visual, precise and multilevel metamodeling framework...
  • Boost

  • Referenced in 200 articles [sw09223]
  • Boost provides free peer-reviewed portable C++ source...
  • Henshin

  • Referenced in 14 articles [sw10085]
  • Henshin: Advanced Concepts and Tools for In-Place...
  • AToM3

  • Referenced in 32 articles [sw10092]
  • AToM3 : A tool for multi-formalism and meta...
  • Python

  • Referenced in 2091 articles [sw14460]
  • Python is a widely used high-level, general...
  • BGL

  • Referenced in 65 articles [sw17557]
  • The Boost Graph Library (BGL). Graphs are mathematical...
  • MetaEnv

  • Referenced in 3 articles [sw22002]
  • A toolbox for automating visual software engineering. Visual...
  • RuleMerger

  • Referenced in 3 articles [sw22849]
  • RuleMerger: automatic construction of variability-based model transformation...
  • GGL

  • Referenced in 4 articles [sw22850]
  • The graph grammar library - a generic framework for...
  • Verigraph

  • Referenced in 4 articles [sw23736]
  • The Verigraph system for graph transformation. Graph transformation...
  • AGREE

  • Referenced in 10 articles [sw23738]
  • AGREE – algebraic graph rewriting with controlled embedding. The...