pehamTom
I am currently pursuing my Ph.D. at the Chair for Design Automation at the Technical University of Munich.
Technische Universität München
Pinned Repositories
CG
Computer Graphics Project
DownloadProject
CMake module for downloading an external project's source at configure time
hello-world
This is about nothing
MIPS
Implementation of MIPS processor in VHDL
MMS-Projekt
polyfy
Verification of arithmetic Circuits using Computer Algebra
pyzx
Python library for quantum circuit rewriting and optimisation using the ZX-calculus
qcirsym
QCIRSYM - A Tool for finding symmetries in QCIR formulas in cleansed-prenex form
qiskit
Qiskit is an open-source SDK for working with quantum computers at the level of circuits, algorithms, and application modules.
smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
pehamTom's Repositories
pehamTom/MMS-Projekt
pehamTom/CG
Computer Graphics Project
pehamTom/DownloadProject
CMake module for downloading an external project's source at configure time
pehamTom/hello-world
This is about nothing
pehamTom/MIPS
Implementation of MIPS processor in VHDL
pehamTom/polyfy
Verification of arithmetic Circuits using Computer Algebra
pehamTom/pyzx
Python library for quantum circuit rewriting and optimisation using the ZX-calculus
pehamTom/qcirsym
QCIRSYM - A Tool for finding symmetries in QCIR formulas in cleansed-prenex form
pehamTom/qiskit
Qiskit is an open-source SDK for working with quantum computers at the level of circuits, algorithms, and application modules.
pehamTom/smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.