Skip to content
@nl-utwente-groove

GROOVE

Home of the GROOVE tool for graph transformation and verification
README.md

GROOVE

GROOVE is a tool for graph transformation and verification, developed and maintained at the University of Twente.

Releases

The latest pre-packaged release can be obtained from https://github.com/nl-utwente-groove/code/releases/latest. For older versions go to https://github.com/nl-utwente-groove/code/releases.

Codebase

As of March 2024, this github organisation (https://github.com/nl-utwente-groove) hosts the code and website of the GROOVE project. It consists of the following (main) repositories:

  • Code: The codebase for GROOVE. Go there to get the source code and to report issues (bugs and feature requests)
  • Samples: A collection of sample rule systems, demonstrating the various GROOVE features
  • Grammars: A collection of larger rule systems, used in various projects, publications and tutorials

Home page

More information van be found on the GROOVE home page: https://groove.cs.utwente.nl.

Pinned

  1. code code Public

    GROOVE code base

    Java 2

  2. samples samples Public

    GROOVE sample rule systems

    Groovy

Repositories

Showing 7 of 7 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…