qqq-wisc / qwlaLinks
Quantum computing without the linear algebra
☆77Updated 2 weeks ago
Alternatives and similar repositories for qwla
Users that are interested in qwla are comparing it to the libraries listed below
Sorting:
- ☆43Updated 9 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆73Updated 4 months ago
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆116Updated 3 weeks ago
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- A JIT compiler for hybrid quantum programs in PennyLane☆193Updated this week
- Meta-GPU lesson covering general aspects of GPU programming as well as specific frameworks☆98Updated 3 weeks ago
- The Quasi Quantum Assembly Programming Language☆36Updated last month
- Matrix multiplication schemes☆206Updated last month
- C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC☆105Updated 3 years ago
- Source code for the book "Quantum Computing for Programmers", Cambridge University Press☆97Updated 2 weeks ago
- This repo contains CUDA-Q Academic materials, including self-paced Jupyter notebook modules for building and optimizing hybrid quantum-cl…☆233Updated this week
- The Cosmos numerical relativity code (with unstructured AMR)☆20Updated last year
- MIT iQuHACK 2022 x Microsoft x IonQ Challenge☆10Updated 3 years ago
- A collection of study materials for AI compilers and systems.☆46Updated last month
- The Swiss Army Knife of Applied Quantum Technology (Experimental Tech)☆25Updated 9 months ago
- Pythonic quantum-classical programming language☆112Updated this week
- POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".☆47Updated 4 years ago
- Learn GPU Programming in Mojo🔥 by Solving Puzzles☆254Updated last week
- A Small Quantum Intermediate Representation☆89Updated 4 months ago
- Machine Learning with Symbolic Tensors☆352Updated last month
- Exponent pair database☆63Updated this week
- Hierarchical Unified Graph Representation for quantum and classical programs☆52Updated last week
- C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC☆10Updated 4 years ago
- OpenQASM 3 + OpenPulse in Python☆29Updated 2 months ago
- An MLIR based compiler dynamic circuit compiler for real-time control systems supporting OpenQASM 3☆63Updated last year
- Full-stack quantum processing toolkit☆181Updated last week
- Quantum information theory in Lean 4☆88Updated 3 weeks ago
- A community database for the problems on the erdosproblems.com site☆121Updated this week
- TNCO is a heuristic tool that optimizes tensor network contraction paths.☆28Updated last month
- Simulating quantum circuits with JAX☆71Updated this week