Pinned Repositories
awesome-qsharp
A curated list of Q# code and resources.
Cirq
A python framework for creating, editing, and invoking Noisy Intermediate Scale Quantum (NISQ) circuits.
Guide-to-QC-and-QI
This guide is for researchers entering the area of Quantum Computation and Quantum Information Science.
integer-number-game
Create the integers as equivalence classes from pairs of natural numbers.
intel-qs
High-performance simulator of quantum circuits
LeanPuzzles
A collection of logic puzzles solved with Lean.
pyquil
A Python library for quantum programming using Quil.
QuAlgorithmZoo.jl
A curated implementation of quantum algorithms with Yao.jl
QuantumKatas
Programming exercises for learning Q# and quantum computing
QuDiffEq.jl
Quantum Algorithms for solving differential equations
stanescuUW's Repositories
stanescuUW/Guide-to-QC-and-QI
This guide is for researchers entering the area of Quantum Computation and Quantum Information Science.
stanescuUW/LeanPuzzles
A collection of logic puzzles solved with Lean.
stanescuUW/integer-number-game
Create the integers as equivalence classes from pairs of natural numbers.
stanescuUW/QuDiffEq.jl
Quantum Algorithms for solving differential equations
stanescuUW/awesome-qsharp
A curated list of Q# code and resources.
stanescuUW/Cirq
A python framework for creating, editing, and invoking Noisy Intermediate Scale Quantum (NISQ) circuits.
stanescuUW/intel-qs
High-performance simulator of quantum circuits
stanescuUW/pyquil
A Python library for quantum programming using Quil.
stanescuUW/QuAlgorithmZoo.jl
A curated implementation of quantum algorithms with Yao.jl
stanescuUW/QuantumKatas
Programming exercises for learning Q# and quantum computing
stanescuUW/numerical-analysis-with-Lean
Prove convergence of numerical approximations, quantify truncation errors etc.
stanescuUW/qiskit-textbook
A university quantum algorithms/computation course supplement based on Qiskit
stanescuUW/quantumcomputingbook
Companion site for the textbook Quantum Computing: An Applied Approach
stanescuUW/rational-number-game
Explore basic facts about the rational numbers with the Lean theorem prover.