The KIELER semantics project features the sequentially constructive SCCharts, SCL, and SCEst language including tooling for automatic diagrams, compilation, and simulation

Configuration files and Oomph setup for Kieler development.

ELK's layout algorithms for JavaScript

VS Code extension for STPA-based risk analyses with interactive diagrams and integrations for fault trees, safe-by-construction behavior model generation, and verification.

Eclipse Layout Kernel - Automatic layout for Java applications.

A website for viewing advent of code submissions of (Halb-)Offizieller-CAU-Informatik-Server™.

PAKCS: The Portland Aachen Kiel Curry system