Source Code of the LogicNG Website
Updated 2024-08-02 14:04:03 +00:00
Free LDAP and OAuth2 Authentication and Authorisation for Sharelatex / Overleaf (Community Edition)
Updated 2024-07-20 17:40:23 +00:00
A project for analyzing Timed Automata.
Updated 2024-10-11 23:50:16 +00:00
Updated 2024-06-19 15:49:38 +00:00
A minimal example on how to build a LaTeX document (PDF) via GitHub Actions and Docker.
Updated 2024-06-07 11:50:24 +00:00
Official Docker image with Maven
Updated 2024-08-21 12:18:24 +00:00
Infrastructure for status.forgejo.dev
Updated 2024-05-25 10:58:24 +00:00
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-09-11 21:18:28 +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-08-23 05:49:28 +00:00
Example on how to use Maven to compile and trigger a custom code generator in one run.
Updated 2024-08-23 05:49:37 +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-09-11 21:05:18 +00:00
TChecker is an open-source verification tool for timed automata
Updated 2024-10-12 17:59:10 +00:00