CI and build scripts for the GIPS framework VM based on Ubuntu.
Updated 2023-12-05 16:39:59 +00:00
CI and build scripts for the eMoflon::IBeX VM based on Ubuntu.
Updated 2023-12-05 16:37:45 +00:00
CI and build scripts for eMoflon::IBeX Eclipse installations.
Updated 2023-12-05 13:52:52 +00:00
Graph-Based ILP Problem Specification Tool
Updated 2023-12-05 13:18:01 +00:00
Updated 2023-12-05 11:08:31 +00:00
Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
Updated 2023-12-05 08:46:33 +00:00
Infrastructure as Code to create and maintain the Forgejo.dev instance
Updated 2023-12-04 14:30:42 +00:00
Examples for the GIPS framework.
Updated 2023-12-04 13:34:53 +00:00
Example on how to use Maven & Tycho to build an Eclipse plug-in, feature, and update site.
Updated 2023-12-04 13:28:49 +00:00
Incremental Fast Lightweight (y) virtual network Embedding framework
Updated 2023-12-04 12:26:11 +00:00
A collection of all tests for ibex variants
Updated 2023-12-01 17:50:06 +00:00
GIPS GCM 2023 example
Updated 2023-11-28 12:56:37 +00:00
Infrastructure for implementing benchmarx: benchmarks for bidirectional transformation (bx) tools. Also contains a collection of example benchmarx and test runners for various and diverse bx tools.
Updated 2023-11-26 19:06:48 +00:00
TChecker is an open-source verification tool for timed automata
Updated 2023-11-21 22:50:58 +00:00
Test projects for the GIPS framework.
Updated 2023-11-15 14:26:44 +00:00
Independent and reusable GUI components for graph transformation rules and Triple Graph Grammars
Updated 2023-11-15 13:57:48 +00:00
A curated list of delightful Forgejo-related projects and resources.
Updated 2023-11-10 14:47:27 +00:00