Pinned Repositories
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
AWS-Java-Template-Code-Generator
Generates Java code using templates from an eclipse EMF model.
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
ServiceManager
Android app to monitor running services and disable services with their apps. Multiple apps and services to disable can be grouped into profiles. Each app or service is specified by name, possibly using regular expressions. As of now, a google apps profile is pre-defined.
fhaer's Repositories
fhaer/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
fhaer/llm-cmi
LLM Conceptual Model Interpreter
fhaer/AWS-Java-Template-Code-Generator
Generates Java code using templates from an eclipse EMF model.
fhaer/ampl-case-study-1
AMPL data of case study 1
fhaer/ampl-case-study-2
fhaer/ampl-case-study-3
fhaer/ampl-case-study-4
fhaer/ampl-case-study-5
fhaer/amplius
Prototype for a multi-protocol attestation and distribution system
fhaer/BPMN-XPDL-to-AristaFlow
Converts BPMN-XPDL-workflow-models for the AristaFlow workflow execution platform.
fhaer/CCQL
Cross-Chain Query Language
fhaer/Cpp-Concepts-Demo
Example of the "concepts" generic type system (to be added to the C++ language).
fhaer/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.
fhaer/datasets
Data for case studies and database-/data-warehouse-/software-tests
fhaer/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.
fhaer/Dynamic-DNS-IP-Updater
Updates the public IPv4 address (if changed) at DNS or DynDNS services DuckDNS, INWX, TwoDNS, DO.de
fhaer/ffmpeg-on-apple-silicon
Build ffmpeg for ARM-based Apple Silicon Macs
fhaer/Itrex
Instance Tracking for Executable Models
fhaer/Itrex-Engine-Event-Processing
Instance Tracking for Executable Models by Event Processing
fhaer/Java-Lines-of-Code-by-Author
Searches for java files, counts lines of code (loc) in total and for each @author according to JavaDoc.
fhaer/minimo
Minimo - Minimalist theme for Hugo
fhaer/Model-based-Attestation-Using-Ethereum
Model-based Attestation Using Ethereum
fhaer/nft-photo-hlf
Feasibility prototype for an NFT platform based on Hyperledger Fabric
fhaer/Process-Modeling-in-Decentralized-Organizations
fhaer/prolog-examples
Examples for logic programming using PROLOG
fhaer/SwitchSoundcard
Switches active sound card on windows using nircmd
fhaer/SwitchSoundcard-PulseAudio
Switches active sound card on linux using PulseAudio
fhaer/sys-mod-test
fhaer/sysdev-automation
Demo repository for automation
fhaer/vftool
A simple macOS Virtualisation.framework wrapper