Forgejo.dev

eMoflon/ emoflon2cpn

0 0

Implementation of Graph Rewriting Petri Nets

Updated 2024-09-21 00:29:04 +00:00

forgejo.dev/ forgejo

Go 0 0

Beyond coding. We forge.

Updated 2024-09-21 00:02:52 +00:00

eMoflon/ emoflon-ilp

Java 0 0

Eclipse plug-in for ILP solvers.

Updated 2024-09-20 07:02:56 +00:00

Echtzeitsysteme/ timed-automata-analysis-frontend

TypeScript 0 0

A project for analyzing Timed Automata.

Updated 2024-09-19 17:27:17 +00:00

maxkratz/ maven-tycho-eclipse-example

Java 0 0

Example on how to use Maven & Tycho to build an Eclipse plug-in, feature, and update site.

Updated 2024-09-19 17:11:58 +00:00

Echtzeitsysteme/ tchecker

C++ 0 0

TChecker is an open-source verification tool for timed automata

Updated 2024-09-19 07:47:04 +00:00

eMoflon/ eMoflon.github.io

HTML 0 0

Deployment repository for the eMoflon project site on GitHub. For changes see https://github.com/eMoflon/emoflon-website-hugo.

Updated 2024-09-18 13:09:00 +00:00

eMoflon/ emoflon-website-hugo

CSS 0 0

Hugo-based website for the eMoflon project.

Updated 2024-09-18 13:08:05 +00:00

Echtzeitsysteme/ gips-website-hugo

CSS 0 0

Hugo-based website for the GIPS framework project.

Updated 2024-09-18 13:00:24 +00:00

Echtzeitsysteme/ slide-templates

TeX 0 0

Templates for student presentations

Updated 2024-09-17 12:52:31 +00:00

Echtzeitsysteme/ gips-eclipse-build

Shell 0 0

CI and build scripts for GIPS framework Eclipse installations.

Updated 2024-09-16 06:34:11 +00:00

eMoflon/ emoflon-ibex-eclipse-build

Shell 0 0

CI and build scripts for eMoflon::IBeX Eclipse installations.

Updated 2024-09-16 06:33:13 +00:00

Echtzeitsysteme/ gips-examples

Xtend 0 0

Examples for the GIPS framework.

Updated 2024-09-16 05:11:55 +00:00

maxkratz/ docker_imapgrab

Dockerfile 0 0

Imapgrab dockerfile.

Updated 2024-09-15 09:15:51 +00:00

forgejo.dev/ infrastructure-as-code

Jinja 1 0

Infrastructure as Code to create and maintain the Forgejo.dev instance

Updated 2024-09-15 07:22:03 +00:00

maxkratz/ docker_texlive

Dockerfile 0 0

Unofficial Docker image for various TeX Live versions.

Updated 2024-09-14 12:50:52 +00:00

eMoflon/ emoflon-ibex-ui

Java 0 0

Independent and reusable GUI components for graph transformation rules and Triple Graph Grammars

Updated 2024-09-13 07:14:46 +00:00

eMoflon/ model-modeling-language-cli

Java 0 0

Updated 2024-09-11 21:18:28 +00:00

eMoflon/ model-modeling-language

TypeScript 0 0

DSL for the description of metamodels in Langium

Updated 2024-09-11 21:05:18 +00:00

maxkratz/ lectureStudio

Java 0 0

An integrated tool for presenting lectures.

Updated 2024-09-11 08:43:37 +00:00