Popular repositories Loading

1. redensificaition redensificaition Public

   Project for the TUM.AI Makeathon 2021: python script for the visualization of the predictions of Microsoft Azure.

   Python

2. congruence-closure-isabelle congruence-closure-isabelle Public

   Bachelor thesis about the verification in Isabelle/HOL of the Congruence Closure Algorithm.

   Isabelle 1

3. quantum-compiler quantum-compiler Public

   Project for the Seminar "Topics of Quantum Computing": An implementation of a small quantum compiler.

   Jupyter Notebook

4. OBS-script OBS-script Public

   A frontend that takes pictures and changes the background using the virtual camera of OBS.

   Python

5. mqt-core mqt-core Public

   Forked from cda-tum/mqt-core

   MQT Core - The Backbone of the Munich Quantum Toolkit

   C++

6. analyzer analyzer Public

   Forked from goblint/analyzer

   Static analysis framework for C

   OCaml