Alternatives and similar repositories for qwla

Users that are interested in qwla are comparing it to the libraries listed below

• teorth / expdb
  Exponent pair database
  ☆59Updated 2 weeks ago
• PennyLaneAI / catalyst
  A JIT compiler for hybrid quantum programs in PennyLane
  ☆172Updated this week
• mkauers / matrix-multiplication
  Matrix multiplication schemes
  ☆195Updated 2 months ago
• qcc4cp / qcc
  Source code for the book "Quantum Computing for Programmers", Cambridge University Press
  ☆91Updated 2 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆63Updated last week
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆61Updated 11 months ago
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆173Updated this week
• ruehlef / Physics-Reports
  Material associated with Physics Report "Data science applications to string theory"
  ☆11Updated 2 years ago
• teorth / symmetric_project
  ☆91Updated last year
• google-deepmind / alphatensor_quantum
  ☆32Updated 3 months ago
• NVIDIA / cuda-q-academic
  This repo contains CUDA-Q Academic materials, including self-paced Jupyter notebook modules for building and optimizing hybrid quantum-cl…
  ☆149Updated this week
• DarkStarStrix / QSolvers
  The Swiss Army Knife of Applied Quantum Technology (Experimental Tech)
  ☆23Updated 4 months ago
• JonathanGorard / Cosmos
  The Cosmos numerical relativity code (with unstructured AMR)
  ☆21Updated last year
• thomasahle / tensorgrad
  Machine Learning with Symbolic Tensors
  ☆316Updated last month
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆289Updated this week
• PennyLaneAI / pennylane-lightning
  The Lightning plugin ecosystem provides fast quantum state-vector and tensor network simulators written in C++ for use with PennyLane.
  ☆119Updated this week
• CQCL / hugr
  Hierarchical Unified Graph Representation for quantum and classical programs
  ☆38Updated this week
• qir-alliance / qcor
  C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC
  ☆100Updated 2 years ago
• teorth / estimate_tools
  ☆70Updated last month
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆112Updated last month
• wellecks / transformers4math-simons
  Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025
  ☆36Updated 3 months ago
• tqec / tqec
  Design automation software tools for Topological Quantum Error Correction
  ☆259Updated this week
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆64Updated last year
• PennyLaneAI / pennylane-lightning-gpu
  GPU enabled Lightning simulator for accelerated circuit simulation. See https://github.com/PennyLaneAI/pennylane-lightning for all future…
  ☆49Updated last year
• errorcorrectionzoo / eczoo_data
  Content of the Error Correction Zoo, stored in structured YAML format
  ☆62Updated this week
• XanaduAI / jet
  Jet is a cross-platform library for simulating quantum circuits using tensor network contractions.
  ☆62Updated 2 years ago
• Timeroot / Lean-QuantumInfo
  Quantum information theory in Lean 4
  ☆30Updated this week
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 8 months ago
• zxcalc / book
  Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation
  ☆88Updated 8 months ago
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆86Updated 5 months ago