taorunz Goto Github PK

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

swift-2048

2048 for Swift

swiftguide

这份指南汇集了Swift语言主流学习资源，并以开发者的视角整理编排。http://dev.swiftguide.cn

taorunz.github.io

test

...

thuthesis

LaTeX Thesis Template for Tsinghua University

try-git

Try any git method here before you use it in real development!