Implementation of Graph Rewriting Petri Nets
Updated 2024-07-26 20:11:17 +00:00
Examples for the GIPS framework.
Updated 2024-07-26 14:09:31 +00:00
Eclipse updatesite for the GIPS framework plug-in.
Updated 2024-07-26 13:36:36 +00:00
Updated 2024-07-26 11:59:19 +00:00
Updated 2024-07-26 11:54:25 +00:00
Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
Updated 2024-07-26 11:03:25 +00:00
Incremental unidirectional and bidirectional graph transformations with the HiPE incremental parallel pattern matching engine
Updated 2024-07-26 10:40:06 +00:00
This repository contains prototype implementations for incorporating weak/hard constraints during consistency restoration
Updated 2024-07-26 08:26:05 +00:00
Graph-Based ILP Problem Specification Tool
Updated 2024-07-25 14:29:38 +00:00
Example on how to use Maven to generate and build code for an Ecore/Genmodel file.
Updated 2024-07-25 08:13:49 +00:00
Example on how to use Maven to compile and trigger a custom code generator in one run.
Updated 2024-07-25 07:04:43 +00:00
Example on how to use Maven & Tycho to build an Eclipse plug-in, feature, and update site.
Updated 2024-07-25 06:53:20 +00:00
Unofficial Docker image for various TeX Live versions.
Updated 2024-07-24 05:59:39 +00:00
Infrastructure as Code to create and maintain the Forgejo.dev instance
Updated 2024-07-21 17:54:43 +00:00
Test repository to run Docker via the {LXC, Docker} backend
Updated 2024-07-21 11:59:04 +00:00
Free LDAP and OAuth2 Authentication and Authorisation for Sharelatex / Overleaf (Community Edition)
Updated 2024-07-20 17:40:23 +00:00
CI and build scripts for GIPS framework Eclipse installations.
Updated 2024-07-19 05:17:52 +00:00
A project for analyzing Timed Automata.
Updated 2024-07-17 22:25:18 +00:00