Alternatives and similar repositories for UWaterloo-Course-Notes

Users that are interested in UWaterloo-Course-Notes are comparing it to the libraries listed below

• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆166Updated 6 years ago
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆40Updated last month
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 years ago
• leo-colisson / zx-calculus
  A package to typeset ZX calculus directly in LaTeX.
  ☆17Updated last year
• PACE-challenge / Treewidth
  List of Treewidth solvers, instances, and tools
  ☆36Updated 3 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆76Updated 2 years ago
• inQWIRE / VyZX
  Verifying the ZX Calculus
  ☆20Updated 2 weeks ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated 2 months ago
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆31Updated 4 years ago
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆88Updated 3 months ago
• EverettYou / SBRG
  Spectrum Bifurcation RG
  ☆12Updated 9 years ago
• GiggleLiu / QuantumMPS
  Variational Quantum Eigensolver with Fewer Qubits
  ☆25Updated 6 years ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆36Updated last month
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• mhauru / MPS-in-Julia-minicourse
  MPS in Julia minicourse
  ☆19Updated 8 years ago
• hanxzh94 / matrix-bootstrap
  Bootstrapping matrix quantum mechanics
  ☆15Updated 5 years ago
• ribault / CFT-Review
  A review article on conformal field theory
  ☆20Updated last week
• Vicfred / codeforces-haskell
  problems from codeforces solved in haskell
  ☆12Updated 6 years ago
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆105Updated 5 months ago
• EverettYou / AutoregressiveStatMech
  Autoregressive model for solving statistical mechanics problems
  ☆11Updated 4 years ago
• msr-quarc / ReVerC
  Verified compilation of space-efficient reversible circuits
  ☆23Updated 6 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 7 months ago
• LuukCoopmans / Majorana-Game
  Differential Programming and Natural Evolutationary Strategies optimization algorithms for transport Majorana Zero Modes.
  ☆13Updated 4 years ago
• Quelklef / mathsproofbot
  Writing proofs to Twitter since April 2020
  ☆12Updated 3 years ago
• coq-quantum / CoqQ
  ☆27Updated 10 months ago
• Marco-Di-Tullio / Fermionic.jl
  Toolkit for fermonic simulations and fermionic quantum computation in Julia.
  ☆41Updated 3 years ago
• TensorBFS / CuTropicalGEMM.jl
  The fastest Tropical number matrix multiplication on GPU
  ☆10Updated 2 months ago
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 3 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆121Updated last year
• QuantumBFS / QinHuangDao
  physics meets neural networks
  ☆13Updated 7 years ago