-
-
-
Giallar Public
Artifact for the PLDI'21 Paper Giallar: Push-button Verification for the Qiskit Quantum Compiler
-
-
ConFuzzius Public
Forked from christoftorres/ConFuzziusA data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
Solidity UpdatedMar 10, 2021 -
SQIR Public
Forked from inQWIRE/SQIRA Small Quantum Intermediate Representation
Coq MIT License UpdatedJan 18, 2021 -
coq_euler_prod_form Public
Forked from roglo/coq_euler_prod_formCoq proof of the Euler product formula for the Riemann zeta function (in progress...)
Coq UpdatedMay 9, 2020 -
Faithful32-1.12.2 Public archive
Forked from F32Organization/Faithful32-1.12.2Other UpdatedOct 11, 2019 -
qiskit-terra Public
Forked from Qiskit/qiskitTerra provides the foundations for Qiskit. It allows the user to write quantum circuits easily, and takes care of the constraints of real hardware.
Python Apache License 2.0 UpdatedJun 17, 2019 -
qiskit Public
Forked from Qiskit/qiskit-metapackageQiskit is an open-source framework for working with noisy quantum computers at the level of pulses, circuits, and algorithms.
Python Apache License 2.0 UpdatedJun 17, 2019 -
thuthesis Public
Forked from tuna/thuthesisLaTeX Thesis Template for Tsinghua University
TeX UpdatedMay 25, 2019 -
-
SwiftGuide Public
Forked from ipader/SwiftGuide这份指南汇集了Swift语言主流学习资源，并以开发者的视角整理编排。http://dev.swiftguide.cn
Swift UpdatedJan 16, 2016 -
swift-2048 Public
Forked from austinzheng/swift-20482048 for Swift
Swift MIT License UpdatedOct 25, 2015 -
try-git Public
Forked from mulab/try-gitTry any git method here before you use it in real development!
C++ UpdatedOct 22, 2015
{{ message }}