Beyond coding. We forge.
Updated 2024-07-24 04:04:47 +00:00
Implementation of Graph Rewriting Petri Nets
Updated 2024-07-23 12:08:54 +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
CI and build scripts for eMoflon::IBeX Eclipse installations.
Updated 2024-07-17 14:03:39 +00:00
Unofficial Docker image for various TeX Live versions.
Updated 2024-07-17 12:43:40 +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 2024-07-15 13:32:33 +00:00
A curated list of delightful Forgejo-related projects and resources.
Updated 2024-07-15 12:29:11 +00:00
Templates for student presentations
Updated 2024-07-10 15:02:53 +00:00
Examples for the GIPS framework.
Updated 2024-07-08 07:51:09 +00:00
Deployment repository for the eMoflon project site on GitHub. For changes see https://github.com/eMoflon/emoflon-website-hugo.
Updated 2024-07-05 12:15:53 +00:00
Hugo-based website for the eMoflon project.
Updated 2024-07-05 12:14:19 +00:00
Updated 2024-07-05 12:04:33 +00:00
Updated 2024-07-05 12:04:29 +00:00
Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
Updated 2024-07-05 11:12:24 +00:00
Incremental Fast Lightweight (y) virtual network Embedding framework
Updated 2024-07-04 13:12:03 +00:00
Template für Abschlussarbeiten
Updated 2024-07-03 09:17:06 +00:00