Alternatives and similar repositories for qwla

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

• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆61Updated last year
• teorth / erdosproblems
  A community database for the problems on the erdosproblems.com site
  ☆245Updated this week
• teorth / expdb
  Exponent pair database
  ☆67Updated last week
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆73Updated 5 months ago
• ruehlef / Physics-Reports
  Material associated with Physics Report "Data science applications to string theory"
  ☆11Updated 2 years ago
• mkauers / matrix-multiplication
  Matrix multiplication schemes
  ☆206Updated 2 months ago
• MurageKibicho / Quasi-Quantum-Assembly
  The Quasi Quantum Assembly Programming Language
  ☆36Updated last month
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆207Updated 3 months ago
• PennyLaneAI / catalyst
  A JIT compiler for hybrid quantum programs in PennyLane
  ☆197Updated this week
• neelsomani / cuq
  Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels
  ☆116Updated 2 weeks ago
• AlexKontorovich / PrimeNumberTheoremAnd
  Blueprint for the PNT+ Project
  ☆221Updated this week
• google-deepmind / alphatensor_quantum
  ☆46Updated 9 months ago
• teorth / symmetric_project
  ☆93Updated 2 years ago
• lean-dojo / LeanAgent
  LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…
  ☆46Updated 6 months ago
• qcc4cp / qcc
  Source code for the book "Quantum Computing for Programmers", Cambridge University Press
  ☆100Updated last month
• google-research / tnco
  TNCO is a heuristic tool that optimizes tensor network contraction paths.
  ☆27Updated 2 months ago
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆91Updated 5 months ago
• psg-mit / twist-popl22
  POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".
  ☆47Updated 4 years ago
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆429Updated this week
• Timeroot / Lean-QuantumInfo
  Quantum information theory in Lean 4
  ☆99Updated this week
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆67Updated 2 years ago
• qir-alliance / qcor
  C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC
  ☆106Updated 3 years ago
• WessZumino / Random-Matrix-theory-for-pedestrians
  ☆18Updated 5 years ago
• math-inc / strongpnt
  ☆282Updated 4 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…
  ☆239Updated this week
• wellecks / transformers4math-simons
  Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025
  ☆42Updated 9 months ago
• modular / mojo-gpu-puzzles
  Learn GPU Programming in Mojo🔥 by Solving Puzzles
  ☆269Updated this week
• teorth / estimate_tools
  ☆71Updated 7 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆75Updated 11 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆124Updated last year