• 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...