Some modifications to include DOIs (Digital Object Identifiers) into the IEEE tran BibTeX style.
Updated 2024-04-12 09:04:02 +00:00
Eclipse updatesite for the GIPS framework plug-in.
Updated 2024-04-05 13:25:45 +00:00
Example on how to use Maven & Tycho to build an Eclipse plug-in, feature, and update site.
Updated 2024-03-29 06:21:28 +00:00
Incremental Fast Lightweight (y) virtual network Embedding framework
Updated 2024-04-12 11:23:21 +00:00
📘 Nextcloud documentation
Updated 2023-07-04 09:08:57 +00:00
An ibex module for the testworkspace to enable benchmarking of different metrics
Updated 2022-06-29 17:35:21 +00:00
Example on how to use Maven to generate and build code for an Ecore/Genmodel file.
Updated 2024-02-27 15:23:17 +00:00
Update-site repository for eMoflon::TIE-GT
Updated 2019-12-05 12:13:58 +00:00
Proxy implementation of MSC3575's sync protocol.
Updated 2024-01-22 12:12:08 +00:00
Infrastructure as Code to create and maintain the Forgejo.dev instance
Updated 2024-04-21 09:51:24 +00:00
Sample projects for eMoflon GT (Unidirectional, textually-specified graph transformation)
Updated 2018-02-08 11:05:00 +00:00
Maven repository for eMoflon Tool
Updated 2018-11-07 10:01:55 +00:00
Vagrant configuration to provision an EdgeDB virtual machine (VM).
Updated 2024-02-01 11:38:32 +00:00
Examples for eMoflon::TIE-GT
Updated 2019-02-13 20:58:38 +00:00
TChecker is an open-source verification tool for timed automata
Updated 2024-04-29 17:07:57 +00:00
Unofficial ROS2 dashing dockerfile.
Updated 2024-03-30 06:49:11 +00:00