Rebecca Ghidini's repositories

analyzer

Static analysis framework for C

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

congruence-closure-isabelle

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

Language:IsabelleStargazers:0Issues:0Issues:0

mqt-core

MQT Core - The Backbone of the Munich Quantum Toolkit

Language:C++License:MITStargazers:0Issues:0Issues:0

mqt-qcec

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

Language:C++License:MITStargazers:0Issues:0Issues:0

OBS-script

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

Language:PythonStargazers:0Issues:0Issues:0

quantum-compiler

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

Language:Jupyter NotebookStargazers:0Issues:0Issues:0

redensificaition

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

Language:PythonStargazers:0Issues:0Issues:0

SliQEC

A BDD-based Quantum Circuit Equivalence Checker

Language:CStargazers:0Issues:0Issues:0