Graph-Based ILP Problem Specification Tool
Updated 2024-04-17 17:54:06 +00:00
Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
Updated 2024-04-16 21:29:38 +00:00
Updated 2024-04-15 10:32:12 +00:00
Independent and reusable GUI components for graph transformation rules and Triple Graph Grammars
Updated 2024-04-15 09:26:51 +00:00
DSL for the description of metamodels in Langium
Updated 2024-04-14 23:05:57 +00:00
TChecker is an open-source verification tool for timed automata
Updated 2024-04-14 16:36:55 +00:00
A curated list of delightful Forgejo-related projects and resources.
Updated 2024-04-14 11:36:50 +00:00
Infrastructure as Code to create and maintain the Forgejo.dev instance
Updated 2024-04-12 15:11:45 +00:00
Examples for the GIPS framework.
Updated 2024-04-12 14:16:39 +00:00
Test projects for the GIPS framework.
Updated 2024-04-12 13:27:31 +00:00
Incremental Fast Lightweight (y) virtual network Embedding framework
Updated 2024-04-12 11:23:21 +00:00
Some modifications to include DOIs (Digital Object Identifiers) into the IEEE tran BibTeX style.
Updated 2024-04-12 09:04:02 +00:00
Template für Abschlussarbeiten
Updated 2024-04-12 08:34:15 +00:00
Hugo-based website for the GIPS framework project.
Updated 2024-04-08 16:14:37 +00:00
A Neo4j-based implementation of eMoflon
Updated 2024-04-06 14:50:52 +00:00
Moodle platform file synchronization from a desktop app.
Updated 2024-04-05 13:58:44 +00:00
Eclipse updatesite for the GIPS framework plug-in.
Updated 2024-04-05 13:25:45 +00:00
This repository contains prototype implementations for incorporating weak/hard constraints during consistency restoration
Updated 2024-04-05 11:26:51 +00:00
Templates for student presentations
Updated 2024-04-04 16:48:08 +00:00