Rebecca Ghidini's repositories
analyzer
Static analysis framework for C
Language:OCamlMIT000
congruence-closure-isabelle
Bachelor thesis about the verification in Isabelle/HOL of the Congruence Closure Algorithm.
Language:Isabelle000
mqt-core
MQT Core - The Backbone of the Munich Quantum Toolkit
Language:C++MIT000
mqt-qcec
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
Language:C++MIT000
OBS-script
A frontend that takes pictures and changes the background using the virtual camera of OBS.
Language:Python000
quantum-compiler
Project for the Seminar "Topics of Quantum Computing": An implementation of a small quantum compiler.
Language:Jupyter Notebook000
redensificaition
Project for the TUM.AI Makeathon 2021: python script for the visualization of the predictions of Microsoft Azure.
Language:Python000
SliQEC
A BDD-based Quantum Circuit Equivalence Checker
Language:C000