fhaer Goto Github PK

ampl-case-study-1

AMPL data of case study 1

ampl-case-study-2

ampl-case-study-3

ampl-case-study-4

ampl-case-study-5

amplius

Prototype for a multi-protocol attestation and distribution system

arduino-7-segment-display-controller

Arduino compatible controller for LiteOn LTD4708JS 7 segment display

arduino-server-watchdog

Automatically reboots a server by shorting atx reset pins via a dip reed relay. To recover from crashes outside the os, the script is to be triggered via usb-serial-connection before reboot.

aws-java-template-code-generator

Generates Java code using templates from an eclipse EMF model.

bpmn-xpdl-to-aristaflow

Converts BPMN-XPDL-workflow-models for the AristaFlow workflow execution platform.

ccql

Cross-Chain Query Language

cpp-concepts-demo

Example of the "concepts" generic type system (to be added to the C++ language).

crc32-checksum-calculator

Calculates CRC32-checksums (for bit-rot-detection only) for specified directories recursively and compares values to the previous run. In the event of a mismatch, an e-mail is sent.

datasets

Data for case studies and database-/data-warehouse-/software-tests

decentralized-process-modeling-and-instance-tracking

Application prototype for demonstrating a process modeling approach where the integrity of models is secured by the Ethereum blockchain.

dynamic-dns-ip-updater

Updates the public IPv4 address (if changed) at DNS or DynDNS services DuckDNS, INWX, TwoDNS, DO.de

ffmpeg-on-apple-silicon

Build ffmpeg for ARM-based Apple Silicon Macs

hypercube-gl

Visualization of hypercubes using Elm and WebGL

itrex

Instance Tracking for Executable Models

itrex-engine-event-processing

Instance Tracking for Executable Models by Event Processing

java-lines-of-code-by-author

Searches for java files, counts lines of code (loc) in total and for each @author according to JavaDoc.

llm-cmi

LLM Conceptual Model Interpreter

mikrotik-router-traffic-monitoring

Monitors and stores the total amount of traffic on a MikroTik router interface using a web-server with sqlite, php and d3.js

minimo

Minimo - Minimalist theme for Hugo

model-based-attestation-using-ethereum

Model-based Attestation Using Ethereum

nft-photo-hlf

Feasibility prototype for an NFT platform based on Hyperledger Fabric

notificationrelay

Android app to forward messages to another user profile on the same phone

process-modeling-in-decentralized-organizations

prolog-examples

Examples for logic programming using PROLOG

raop-player

RAOP player and library (AirPlay)