Kadi

This group contains projects related to Kadi4Mat, or Kadi for short, and its ecosystem. See also https://kadi.iam.kit.edu