Forgejo.dev

forgejo.dev / forgejo

Go 0 0

Beyond coding. We forge.

Updated 2024-04-30 16:02:14 +00:00

eMoflon / model-modeling-language

TypeScript 0 0

DSL for the description of metamodels in Langium

Updated 2024-04-29 17:34:18 +00:00

eMoflon / model-modeling-language-cli

Java 0 0

Updated 2024-04-29 17:29:20 +00:00

Echtzeitsysteme / tchecker

C++ 0 0

TChecker is an open-source verification tool for timed automata

Updated 2024-04-29 17:07:57 +00:00

maxkratz / docker_texlive

Dockerfile 0 0

Unofficial Docker image for various TeX Live versions.

Updated 2024-04-29 13:05:11 +00:00

Echtzeitsysteme / gips-examples

Xtend 0 0

Examples for the GIPS framework.

Updated 2024-04-29 11:54:22 +00:00

maxkratz / docker_offlineimap

Dockerfile 0 0

Offlineimap dockerfile.

Updated 2024-04-27 05:15:07 +00:00

maxkratz / docker_imapgrab

Dockerfile 0 0

Imapgrab dockerfile.

Updated 2024-04-27 05:15:00 +00:00

maxkratz / docker_postfix

Dockerfile 0 0

Postfix SMTP backup relay server as Docker image

Updated 2024-04-27 05:14:53 +00:00

eMoflon / emoflon-ibex-tests

Java 0 0

A collection of all tests for ibex variants

Updated 2024-04-26 13:34:09 +00:00

eMoflon / emoflon-ibex-ui

Java 0 0

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

Updated 2024-04-26 13:11:35 +00:00

eMoflon / emoflon-ibex-deployment

HTML 0 0

Updated 2024-04-26 13:02:24 +00:00

eMoflon / emoflon-ibex

Java 0 0

Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations

Updated 2024-04-26 11:13:19 +00:00

Echtzeitsysteme / gips-gcm-2023-example

Java 0 0

GIPS GCM 2023 example

Updated 2024-04-26 08:23:59 +00:00

maxkratz / postfix_exporter

Go 0 0

A Prometheus exporter for Postfix.

Updated 2024-04-24 07:53:02 +00:00

maxkratz / eclipse-simrel-github

SVG 0 0

Global configurations for the eclipse-simrel GitHub organization.

Updated 2024-04-23 13:02:19 +00:00

Echtzeitsysteme / gips

Java 0 0

Graph-Based ILP Problem Specification Tool

Updated 2024-04-22 14:19:23 +00:00

maxkratz / lectureStudio

Java 0 0

An integrated tool for presenting lectures.

Updated 2024-04-21 12:15:57 +00:00

forgejo.dev / infrastructure-as-code

Jinja 1 0

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

Updated 2024-04-21 09:51:24 +00:00

maxkratz / coredns-dyndns

Shell 0 0

Some configurations to enable dynamic DNS updates (DynDNSv2) for CoreDNS.

Updated 2024-04-21 07:14:19 +00:00