Projects in Awesome Lists by bigraph-toolkit-suite
A curated list of projects in awesome lists by bigraph-toolkit-suite .
https://github.com/bigraph-toolkit-suite/bigraphs.bigraph-framework
A framework written in Java for the creation and simulation of bigraphs.
bigraphs builder converter framework java model-checking simulation visualization
Last synced: 21 Mar 2025
https://github.com/bigraph-toolkit-suite/spring-data-cdo
Spring repository support for Connected Data Objects (CDO) - a distributed shared model of Eclipse EMF.
cdo eclipse eclipse-cdo spring-data spring-data-cdo spring-framework
Last synced: 02 Mar 2025
https://github.com/bigraph-toolkit-suite/bigraphs.bigraph-ecore-metamodel
This project serves as a reference implementation of an abstract syntax specification for bigraphs.
bigraphs ecore ecore-metamodel java modeling specification
Last synced: 21 Mar 2025
https://github.com/bigraph-toolkit-suite/bigraphs.bigred-core
Big Red is a graphical development environment for bigraphs and this projects contains only the core bigraph model.
big-red bigraph bigred bigred-core
Last synced: 21 Mar 2025
https://github.com/bigraph-toolkit-suite/project-skeleton-for-bigraph-framework
This is a project skeleton for using Bigraph Framework. This project provides a quick introduction on how to setup and configure a Maven project.
bigraphs java template-project
Last synced: 21 Mar 2025
https://github.com/bigraph-toolkit-suite/bigraphs.bdsl-core-elements
BDSL is a DSL to specify and simulate bigraphs. This project contains the grammar and language server protocol. | Interpreter: https://github.com/bigraph-toolkit-suite/bigraphs.bdsl-interpreter-parent
bigraphs dsl xtext xtext-grammar
Last synced: 21 Mar 2025
https://github.com/bigraph-toolkit-suite/bigraphs.grgen-bigraphs
BiGGer is a transformation tool and library that translates bigraphical models and rules to GrGen.NET-compatible files. It enables bigraph rewriting using GrGen.NET.
bigraphs graph-rewriting graph-rewriting-library graph-transformation grgen grgen-net
Last synced: 21 Mar 2025
https://github.com/bigraph-toolkit-suite/bigraphs.test-support
A testing library for the bigraph tool ecosystem providing utilities for unit tests, regression tests, and integration tests.
Last synced: 25 Feb 2025
https://github.com/bigraph-toolkit-suite/bigraphs-by-examples.bigraph-vendingmachine-webservice
Last synced: 26 Nov 2024
https://github.com/bigraph-toolkit-suite/bigraphs.ide.bigellor
Bigellor is a web-based editor for the visual modeling of bigraphs.
bigraphs modeling spring visualisation
Last synced: 03 Apr 2025
https://github.com/bigraph-toolkit-suite/bigraphs-by-examples.vendingmachine-webservice
Object-oriented Bigraphs
bigraphs cdo object-oriented-programming vending-machine
Last synced: 21 Mar 2025