Dan Stanescu's repositories
Guide-to-QC-and-QI
This guide is for researchers entering the area of Quantum Computation and Quantum Information Science.
LeanPuzzles
A collection of logic puzzles solved with Lean.
integer-number-game
Create the integers as equivalence classes from pairs of natural numbers.
QuDiffEq.jl
Quantum Algorithms for solving differential equations
awesome-qsharp
A curated list of Q# code and resources.
QuAlgorithmZoo.jl
A curated implementation of quantum algorithms with Yao.jl
QuantumKatas
Programming exercises for learning Q# and quantum computing
numerical-analysis-with-Lean
Prove convergence of numerical approximations, quantify truncation errors etc.
qiskit-textbook
A university quantum algorithms/computation course supplement based on Qiskit
quantumcomputingbook
Companion site for the textbook Quantum Computing: An Applied Approach
rational-number-game
Explore basic facts about the rational numbers with the Lean theorem prover.