Forgejo.dev

forgejo.dev/ forgejo

Go 0 0

Beyond coding. We forge.

Updated 2024-05-21 18:04:51 +00:00

maxkratz/ edgedb-vm

Shell 0 0

Vagrant configuration to provision an EdgeDB virtual machine (VM).

Updated 2024-05-21 12:12:02 +00:00

Echtzeitsysteme/ iflye

Java 0 0

Incremental Fast Lightweight (y) virtual network Embedding framework

Updated 2024-05-20 11:42:14 +00:00

Echtzeitsysteme/ gips-examples

Xtend 0 0

Examples for the GIPS framework.

Updated 2024-05-20 11:08:09 +00:00

maxkratz/ iflye

Java 0 0

Incremental Fast Lightweight (y) virtual network Embedding framework

Updated 2024-05-20 09:29:42 +00:00

eMoflon/ emoflon-ilp

Java 0 0

Eclipse plug-in for ILP solvers.

Updated 2024-05-19 13:56:48 +00:00

Echtzeitsysteme/ gips

Java 0 0

Graph-Based ILP Problem Specification Tool

Updated 2024-05-19 13:56:42 +00:00

Echtzeitsysteme/ gips-vm

Shell 0 0

CI and build scripts for the GIPS framework VM based on Ubuntu.

Updated 2024-05-19 13:25:02 +00:00

eMoflon/ emoflon-ibex-vm

Shell 0 0

CI and build scripts for the eMoflon::IBeX VM based on Ubuntu.

Updated 2024-05-19 13:24:14 +00:00

maxkratz/ docker_texlive

Dockerfile 0 0

Unofficial Docker image for various TeX Live versions.

Updated 2024-05-18 19:19:23 +00:00

maxkratz/ docker_pandoc-builder

Shell 0 0

Unofficial Docker image for Pandoc, LaTeX, and the Eisvogel template.

Updated 2024-05-18 12:43:41 +00:00

eMoflon/ model-modeling-language

TypeScript 0 0

DSL for the description of metamodels in Langium

Updated 2024-05-17 21:26:18 +00:00

Echtzeitsysteme/ tchecker

C++ 0 0

TChecker is an open-source verification tool for timed automata

Updated 2024-05-17 14:12:12 +00:00

eMoflon/ benchmarx

Java 0 0

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-05-17 10:48:41 +00:00

eMoflon/ model-modeling-language-cli

Java 0 0

Updated 2024-05-16 23:38:48 +00:00

Echtzeitsysteme/ Thesis_FG_ES

TeX 0 0

Template für Abschlussarbeiten

Updated 2024-05-16 14:35:40 +00:00

forgejo.dev/ infrastructure-as-code

Jinja 1 0

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

Updated 2024-05-10 08:28:52 +00:00

eMoflon/ emoflon-ibex

Java 0 0

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

Updated 2024-05-08 13:50:32 +00:00

eMoflon/ emoflon-ibex-tests

Java 0 0

A collection of all tests for ibex variants

Updated 2024-05-08 13:32:41 +00:00

eMoflon/ emoflon-ibex-deployment

HTML 0 0

Updated 2024-05-08 12:59:15 +00:00