Pinned Repositories
qsyn
A C++-based growing software system for synthesizing, optimizing, and verifying quantum circuits
cirkit
A circuit toolkit
LSV-PA
Logic Synthesis and Verification: Programming Assignments
MuseScore
MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!
NvChad
Blazing fast Neovim config providing solid defaults and a beautiful UI, enhancing your neovim experience.
pytodd
An implementation T-count optimization algorithm TODD for quantum circuits
pyzx
Python library for quantum circuit rewriting and optimisation using the ZX-calculus
qiskit-terra
Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and algorithms.
tab2pitch
A very, very primitive tab-to-pitch converter.
tl
A bunch of small C++ utilities
JoshuaLau0220's Repositories
JoshuaLau0220/tab2pitch
A very, very primitive tab-to-pitch converter.
JoshuaLau0220/cirkit
A circuit toolkit
JoshuaLau0220/LSV-PA
Logic Synthesis and Verification: Programming Assignments
JoshuaLau0220/MuseScore
MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!
JoshuaLau0220/NvChad
Blazing fast Neovim config providing solid defaults and a beautiful UI, enhancing your neovim experience.
JoshuaLau0220/pytodd
An implementation T-count optimization algorithm TODD for quantum circuits
JoshuaLau0220/pyzx
Python library for quantum circuit rewriting and optimisation using the ZX-calculus
JoshuaLau0220/qiskit-terra
Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and algorithms.
JoshuaLau0220/tl
A bunch of small C++ utilities
JoshuaLau0220/video-tagger
A simple tool to tag timestamps in videos with characters