gcc-bug

Larong Wuming's Buddhist CollegePékin, Chine

Pinned Repositories

QMC
study quantum Markov chain by model checking
Language:Jupyter Notebook10
cmake_record
Language:C++00
coq_learn
Language:Coq00
linear-q
Language:C++00
qw-simon
Language:Jupyter Notebook00
mqt-ddsim
MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
Language:C++13027
support
Issue tracker for support requests related to using https://pypi.org
9448
TDD_C
Language:C++11
LimTDD
Language:Jupyter Notebook00

gcc-bug's Repositories

gcc-bug/qw-simon
Language:Jupyter Notebook
gcc-bug/linear-q
Language:C++
gcc-bug/cmake_record
Language:C++
gcc-bug/coq_learn
Language:Coq
gcc-bug/QMC
study quantum Markov chain by model checking
Language:Jupyter Notebook1