☆30Oct 21, 2026Updated 2 weeks ago
Alternatives and similar repositories for AutoQ
Users that are interested in AutoQ are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A BDD-based Quantum Circuit Equivalence Checker☆16Jun 29, 2026Updated 4 months ago
- ☆14Mar 28, 2024Updated 2 years ago
- ☆10May 14, 2026Updated 5 months ago
- ☆30Sep 30, 2026Updated last month
- Qiskit C++ is an opensource interface to quantum centric supercomputing, compatible interface to Qiskit in C++☆41Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- MQT QCEC - A Tool for Quantum Circuit Equivalence Checking☆121Updated this week
- ☆23Mar 10, 2026Updated 7 months ago
- ☆15Feb 8, 2026Updated 8 months ago
- A connection prover with lazy paramodulation.☆14Nov 25, 2020Updated 5 years ago
- Quantum circuit analysis toolkit☆97Updated this week
- A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches☆15Jun 21, 2019Updated 7 years ago
- A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions.☆10Dec 10, 2023Updated 2 years ago
- A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.☆16Aug 23, 2024Updated 2 years ago
- backend of Guabao☆14Sep 3, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Byzantine model checker☆21Mar 7, 2023Updated 3 years ago
- A Forth environment on a single-Instruction 16-bit SUBLEQ machine☆17Jul 31, 2026Updated 3 months ago
- Partition refinement☆16Oct 4, 2026Updated last month
- Discrete Lehmann representation of imaginary time Green's functions☆12Updated this week
- A C++-based growing software system for synthesizing, optimizing, and verifying quantum circuits☆200Oct 5, 2026Updated last month
- Big5-UAO table in pure Python.☆11Feb 22, 2021Updated 5 years ago
- ☆11Mar 8, 2021Updated 5 years ago
- The Atlas multi-GPU quantum circuit simulator.☆15Aug 17, 2024Updated 2 years ago
- ☆12Dec 15, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆24Oct 28, 2022Updated 4 years ago
- Automated Repair of Verilog Hardware Descriptions☆40Jan 16, 2025Updated last year
- Auto formalization of the CLRS text book☆40Updated this week
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 3 years ago
- PTT自動推文 推文機器人(Python)☆15Mar 20, 2016Updated 10 years ago
- Contains AEM Forms useful utilities and samples☆13Mar 1, 2023Updated 3 years ago
- Julia package for working with tensors, i.e. multilinear maps between vector spaces☆15Sep 19, 2017Updated 9 years ago
- ExtendJ is a Java compiler implemented in reference attribute grammars using JastAdd.☆14Oct 24, 2026Updated last week
- Force extractNativeLibs attr to true when pms parse apk☆12Aug 21, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- playing with gpt4☆13Mar 17, 2023Updated 3 years ago
- 2D ipeps code, including simple, full and variational update//arxiv.org/abs/1711.07584☆14Apr 19, 2018Updated 8 years ago
- Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"☆11Apr 1, 2026Updated 7 months ago
- ☆10Jan 15, 2024Updated 2 years ago
- Provide cuQuantum's cuDensityMat as a backend for QuTiP☆14Jun 29, 2026Updated 4 months ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- Plugin to visualize Miasm IR graph in Binary Ninja.☆14Aug 7, 2019Updated 7 years ago