Global configurations for the eclipse-simrel GitHub organization.
Updated 2024-04-23 13:02:19 +00:00
Some modifications to include DOIs (Digital Object Identifiers) into the IEEE tran BibTeX style.
Updated 2024-04-12 09:04:02 +00:00
Scripts/resources to built the eMoflon::IBeX VM for the ICGT 2024 artifact VM.
Updated 2024-03-04 09:30:20 +00:00
Updated 2024-04-28 19:04:33 +00:00
Proxy implementation of MSC3575's sync protocol.
Updated 2024-01-22 12:12:08 +00:00
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
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
binary releases of VS Code without MS branding/telemetry/licensing
Updated 2024-02-03 17:19:42 +00:00
fastutil extends the Java™ Collections Framework by providing type-specific maps, sets, lists and queues.
Updated 2023-12-19 08:07:47 +00:00
Eclipse integration for the Model Modeling Language
Updated 2023-10-04 17:31:07 +00:00
DSL for the description of metamodels in Langium
Updated 2024-04-29 17:34:18 +00:00
TChecker is an open-source verification tool for timed automata
Updated 2024-04-29 17:07:57 +00:00
Unofficial Docker image for Pandoc, LaTeX, and the Eisvogel template.
Updated 2024-04-01 05:41:47 +00:00
This repository contains prototype implementations for incorporating weak/hard constraints during consistency restoration
Updated 2024-04-05 11:26:51 +00:00
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
The official Java client library for EdgeDB
Updated 2023-11-06 11:16:21 +00:00
Vagrant configuration to provision an EdgeDB virtual machine (VM).
Updated 2024-02-01 11:38:32 +00:00
Setup to provision the GIPS GCM 2023 artifact VM
Updated 2023-05-09 14:12:08 +00:00
GIPS GCM 2023 example
Updated 2024-04-26 08:23:59 +00:00