Forgejo.dev

maxkratz/ edgedb-vm

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

Updated 2024-05-18 09:41:35 +00:00

maxkratz/ opentf-manifesto

The OpenTF Manifesto expresses concern over HashiCorp's switch of the Terraform license from open-source to the Business Source License (BSL) and calls for the tool's return to a truly open-source license.

Updated 2024-01-29 10:38:31 +00:00

eMoflon/ TGG-3.0-Prototype

Java 0 0

This repository contains prototype implementations for incorporating weak/hard constraints during consistency restoration

Updated 2024-04-05 11:26:51 +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/ emoflon-doc

0 0

A place for all eMoflon documentations

Updated 2023-12-19 07:51:45 +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/ model-modeling-language

TypeScript 0 0

DSL for the description of metamodels in Langium

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

eMoflon/ model-modeling-language-editor

Java 0 0

Eclipse integration for the Model Modeling Language

Updated 2023-10-04 17:31:07 +00:00

maxkratz/ fastutil

Java 0 0

fastutil extends the Java™ Collections Framework by providing type-specific maps, sets, lists and queues.

Updated 2023-12-19 08:07:47 +00:00

maxkratz/ vscodium

C 0 0

binary releases of VS Code without MS branding/telemetry/licensing

Updated 2024-02-03 17:19:42 +00:00

maxkratz/ maven-code-gen-example

Java 0 0

Example on how to use Maven to compile and trigger a custom code generator in one run.

Updated 2024-02-27 15:23:11 +00:00

maxkratz/ maven-ecore-modeling-example

JAR Manifest 0 0

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

maxkratz/ sliding-sync

Go 0 0

Proxy implementation of MSC3575's sync protocol.

Updated 2024-01-22 12:12:08 +00:00

eMoflon/ model-modeling-language-cli

Java 0 0

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

eMoflon/ emoflon-ibex-icgt-2024-artifact-vm

Shell 0 0

Scripts/resources to built the eMoflon::IBeX VM for the ICGT 2024 artifact VM.

Updated 2024-03-04 09:30:20 +00:00

maxkratz/ ieeetran_doi

TeX 0 0

Some modifications to include DOIs (Digital Object Identifiers) into the IEEE tran BibTeX style.

Updated 2024-04-12 09:04: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