Pinned Repositories
BERT-Attack-reproduce-project
ConFuzzius
A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
coq_euler_prod_form
Coq proof of the Euler product formula for the Riemann zeta function (in progress...)
euler
Asymptotic Upper Bound of Euler Totient Function φ
Faithful32-1.12.2
Giallar
Artifact for the PLDI'21 Paper Giallar: Push-button Verification for the Qiskit Quantum Compiler
qiskit
Qiskit is an open-source framework for working with noisy quantum computers at the level of pulses, circuits, and algorithms.
qiskit-terra
Terra provides the foundations for Qiskit. It allows the user to write quantum circuits easily, and takes care of the constraints of real hardware.
SQIR
A Small Quantum Intermediate Representation
VRM
Artifact for SOSP 21 Paper: Verifying a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware
taorunz's Repositories
taorunz/Giallar
Artifact for the PLDI'21 Paper Giallar: Push-button Verification for the Qiskit Quantum Compiler
taorunz/euler
Asymptotic Upper Bound of Euler Totient Function φ
taorunz/BERT-Attack-reproduce-project
taorunz/ConFuzzius
A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
taorunz/coq_euler_prod_form
Coq proof of the Euler product formula for the Riemann zeta function (in progress...)
taorunz/Faithful32-1.12.2
taorunz/qiskit
Qiskit is an open-source framework for working with noisy quantum computers at the level of pulses, circuits, and algorithms.
taorunz/qiskit-terra
Terra provides the foundations for Qiskit. It allows the user to write quantum circuits easily, and takes care of the constraints of real hardware.
taorunz/SQIR
A Small Quantum Intermediate Representation
taorunz/swift-2048
2048 for Swift
taorunz/SwiftGuide
这份指南汇集了Swift语言主流学习资源，并以开发者的视角整理编排。http://dev.swiftguide.cn
taorunz/taorunz.github.io
taorunz/test
...
taorunz/thuthesis
LaTeX Thesis Template for Tsinghua University
taorunz/try-git
Try any git method here before you use it in real development!