LucianoXu

Pinned Repositories

01-Translate
Language:Python0 1 00
28-Dirac3
Language:Jupyter Notebook00
DiracImplementation
Language:Mathematica00
diracoq
Language:C++00
Diracoq-draft
Language:TeX00
elab
Language:Python00
NQPV
NQPV is an assistant tool for the formal verification of nondeterministic quantum programs.
Language:Python40
QRefine
Language:Python1 1 50
Yamata
Language:Python00
TDDPy
Language:Jupyter Notebook2 1 170

LucianoXu's Repositories

LucianoXu/NQPV
NQPV is an assistant tool for the formal verification of nondeterministic quantum programs.
Language:Python40
LucianoXu/QRefine
Language:Python1 1 50
LucianoXu/01-Translate
Language:Python0 1 00
LucianoXu/28-Dirac3
Language:Jupyter Notebook00
LucianoXu/DiracImplementation
Language:Mathematica00
LucianoXu/diracoq
Language:C++00
LucianoXu/Diracoq-draft
Language:TeX00
LucianoXu/elab
Language:Python00
LucianoXu/equationNN
Language:Python00
LucianoXu/FormalPython
Language:Python00
LucianoXu/Yamata
Language:Python00
LucianoXu/llminfra
Language:Python
LucianoXu/PyUAlg
Language:Python
LucianoXu/QPLComp
Language:Python
LucianoXu/RemDemo
LucianoXu/spring2024-assignment1-basics