Repositories list

• WebCorC

  Public
  Java

  •

  Apache License 2.0

  •2•7•23•0•Updated Oct 5, 2025Oct 5, 2025

• CorC

  Public
  Tool Support for Correctness-by-Construction

  Java

  •12•29•0•0•Updated Oct 2, 2025Oct 2, 2025

• cps-communicator

  Public
  A tool to translate model-specific change descriptions into model-independent change descriptors and assessments.

  Java

  •0•0•0•0•Updated Oct 2, 2025Oct 2, 2025

• quantum-pattern-detector

  Public
  Code for the paper "Quantum Pattern Detection: Accurate State- and Circuit-based Analyses"

  OpenQASM

  •

  MIT License

  •0•1•0•0•Updated Oct 1, 2025Oct 1, 2025

• Vari-Joern

  Public
  C

  •

  GNU General Public License v3.0

  •0•1•7•3•Updated Sep 24, 2025Sep 24, 2025

• superc

  Public
  The SuperC Parsing Framework

  C

  •3•0•0•0•Updated Sep 12, 2025Sep 12, 2025

• joern

  Public
  Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

  Scala

  •

  Apache License 2.0

  •361•0•0•0•Updated Sep 10, 2025Sep 10, 2025

• grover-uniform-random-sampling

  Public
  Investigating uniform random sampling of software product line configurations using quantum computing.

  Jupyter Notebook

  •

  MIT License

  •0•0•0•0•Updated Aug 15, 2025Aug 15, 2025

• qc-configuration-problem

  Public
  Addressing the Configuration Problem via Quantum Computing

  Python

  •

  MIT License

  •0•1•3•0•Updated Aug 15, 2025Aug 15, 2025

• codepropertygraph

  Public
  Code Property Graph: specification, query language, and utilities

  Scala

  •

  Apache License 2.0

  •78•0•0•0•Updated Jul 31, 2025Jul 31, 2025

• qiskit-hackathon-2025

  Public
  Our contribution to the qiskit Hackathon 2025 at the World of Quantum in Munich.

  OpenQASM

  •0•1•0•0•Updated Jun 30, 2025Jun 30, 2025

• EEbC

  Public
  Tool Support for Energy Efficiency-by-Construction

  Java

  •0•0•0•0•Updated Jun 23, 2025Jun 23, 2025

• TaxonomyMining

  Public
  Java

  •0•0•0•0•Updated Jun 17, 2025Jun 17, 2025

• Smarch

  Public
  Smarch - An algorithm for uniform sampling solutions of a propositional formula

  Python

  •2•0•0•0•Updated May 6, 2025May 6, 2025

• CnC

  Public
  Cube-and-Conquer SAT solver

  C

  •13•0•0•0•Updated May 6, 2025May 6, 2025

• sharpSAT

  Public
  The #SAT solver sharpSAT

  C++

  •

  MIT License

  •27•0•0•0•Updated May 6, 2025May 6, 2025

• cfmtoolbox

  Public
  A plugin-based toolbox for working with cardinality-based feature models

  Python

  •

  MIT License

  •0•5•0•2•Updated Apr 28, 2025Apr 28, 2025

• ArchFlow

  Public
  Java

  •

  MIT License

  •0•2•3•0•Updated Mar 27, 2025Mar 27, 2025

• cfmtoolbox-editor

  Public
  Python

  •

  MIT License

  •0•1•0•0•Updated Feb 19, 2025Feb 19, 2025

• solution-space-realisation-checker

  Public
  Python

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Aug 15, 2024Aug 15, 2024

• tva-thesis-template

  Public
  template for student thesis (e.g. bachelor thesis)

  TeX

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated Apr 9, 2024Apr 9, 2024

• vrp-meta-solver

  Public
  Bachelor Thesis of Lucas Berger

  Rust

  •2•0•0•0•Updated Mar 11, 2024Mar 11, 2024

• SWT1-Artemis-BuildContainer

  Public
  A container with cached build dependencies for Java Tasks in Artemis @ KIT

  Dockerfile

  •2•0•0•0•Updated Mar 4, 2024Mar 4, 2024

• tva-proposal-template

  Public
  template for student proposal (e.g. bachelor thesis)

  TeX

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated Oct 13, 2023Oct 13, 2023

• ArchiCorC2

  Public
  Java

  •

  GNU General Public License v3.0

  •0•0•4•0•Updated Jan 25, 2023Jan 25, 2023

• Skeditor

  Public
  Java

  •

  GNU General Public License v3.0

  •5•0•0•0•Updated Jan 25, 2023Jan 25, 2023