qqq-wisc / qwlaLinks
Quantum computing without the linear algebra
☆76Updated 4 months ago
Alternatives and similar repositories for qwla
Users that are interested in qwla are comparing it to the libraries listed below
Sorting:
- A JIT compiler for hybrid quantum programs in PennyLane☆187Updated last week
- Matrix multiplication schemes☆200Updated 5 months ago
- ☆36Updated 6 months ago
- Exponent pair database☆62Updated this week
- The Finite Field Assembly Programming Language☆36Updated 5 months ago
- ☆93Updated last year
- Source code for the book "Quantum Computing for Programmers", Cambridge University Press☆95Updated last month
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- Material associated with Physics Report "Data science applications to string theory"☆11Updated 2 years ago
- A collection of study materials for AI compilers and systems.☆42Updated last week
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated 2 months ago
- blueprint for prime number theorem and more☆194Updated last week
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆107Updated 2 months ago
- A project to digitalise results from physics into Lean.☆364Updated this week
- This repo contains CUDA-Q Academic materials, including self-paced Jupyter notebook modules for building and optimizing hybrid quantum-cl…☆195Updated last week
- Learn GPU Programming in Mojo🔥 by Solving Puzzles☆150Updated last week
- A Small Quantum Intermediate Representation☆88Updated 2 months ago
- MIT iQuHACK 2022 x Microsoft x IonQ Challenge☆10Updated 3 years ago
- C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC☆10Updated 3 years ago
- Quantum information theory in Lean 4☆56Updated last week
- C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC☆100Updated 2 years ago
- The Quartz Quantum Compiler☆86Updated 3 weeks ago
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆66Updated last year
- High-Performance SGEMM on CUDA devices☆107Updated 8 months ago
- A community database for the problems on the erdosproblems.com site☆83Updated last week
- Hierarchical Unified Graph Representation for quantum and classical programs☆47Updated last week
- POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".☆45Updated 3 years ago
- An attempt at safe imperative GPU programming.☆56Updated 2 months ago
- ☆18Updated 4 years ago
- ☆72Updated 4 months ago